01.02.01

Martin Christoph Hierholzer

@martin.hierholzer

f26d28fc · increased patch level, updated dependency versions · Jun 05, 2019

New PATCH release 01.02.01

Changes since 01.02.00:

- Changes to the build environment