David Majda eb67cbedb4 Report duplicate labels as errors ... Resolves #270.		2016-06-27 13:45:59 +02:00
..
passes	Report duplicate labels as errors	2016-06-27 13:45:59 +02:00