00.17.06

Martin Killenberg

@martin.killenberg

98794435 · Fix for debian packaging: Overriding the build type, which is set to 'None' · Aug 16, 2016

Bugfix tag 00.17.06

- Fix for debian packaging: Overriding the build type, which is set to 'None'