00.13.00

Martin Christoph Hierholzer

@martin.hierholzer

6758eefc · increased minor version, since the last patch release should not have been a... · Mar 06, 2018

New MINOR release 00.13.00

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