Closed schliflo closed 5 years ago
fix debian version and remove some strange whitespaces
closing in favour of #309
fix debian version and remove some strange whitespaces