00.12.01

Martin Christoph Hierholzer

@martin.hierholzer

c057a431 · increased patch level · Mar 02, 2018

New PATCH release 00.12.01

Changes since 00.12.00:

- fixed some bugs in the PersistentDataStorage which could lead to unneeded entries in the .persist files after changing the variable household