07.06.01

Martin Christoph Hierholzer

@martin.hierholzer

cf0c49e5 · fix missing files when installing / in Debian package · Jun 17, 2021

New PATCH release 07.06.01

Changes since 07.06.00:

- fix missing files when installing / in Debian package