07.07.02

Martin Christoph Hierholzer

@martin.hierholzer

b0c73914 · increase patch level · Sep 13, 2021

New PATCH release 07.07.02

Changes since 07.07.01:

- hostname change for PITZ
- fix initSIS for DS8VM1