07.00.02

Martin Christoph Hierholzer

@martin.hierholzer

4357324b · increased patch version · May 14, 2019

New PATCH release 07.00.02

Changes since 07.00.01:

Patch release just to rebuild the Debian package (after a fix in postinst)