Commit 820059fa2d7c7e7a0c9523368dad51044a088bbc

Stefan Sperling 2020-09-25T22:49:42

whitespace fixes (patch by jrick)