00.11.02

Martin Killenberg

@martin.killenberg

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

Bugfix tag 00.11.02

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