07.03.16

Martin Christoph Hierholzer

@martin.hierholzer

86505e03 · fix attempting to restore from wrong autosave file name · Nov 10, 2020

New PATCH release 07.03.16

Changes since 07.03.15:

fix attempting to restore from wrong autosave file name