00.15.01

Martin Christoph Hierholzer

@martin.hierholzer

38fa2a74 · increased patch level, updated dependency versions · Jun 05, 2019

New PATCH release 00.15.01

Changes since 00.15.00:

- Changes to the build environment