01.05.02

Martin Killenberg

@martin.killenberg

12e55de0 · increased patch level · Dec 11, 2019

New PATCH release 01.05.02

Changes since 01.05.01:

- fixes in the build system
  -- solves issues mainily with newer Boost versions (>=1.71)