01.02.01

Martin Christoph Hierholzer

@martin.hierholzer

84c6d486 · increased patch level · Jun 05, 2019

New PATCH release 01.02.01

Changes since 01.02.00:

Minor changes to the build environment which also affects how Debian packages are built