Commit 11c34c6d920f3fdfcc436b3a83834fcc34a3566c

Stefan Sperling 2019-01-02T16:15:01

trim whitespace and remove a useless comment