08.04.16

Martin Christoph Hierholzer

@martin.hierholzer

f1c1bbc0 · chore: increase patch level · Jul 12, 2023

New PATCH release 08.04.16

Changes since 08.04.15:

- fix: do not contact Jenkins for static instances