Commit 6c34b1aaf4f7557da7a8f12bfc5109491faa1937

Stefan Sperling 2019-03-18T17:25:10

whitespace formatting fixes in include/