tiny code-style and typo-fix in comment
authorHiltjo Posthuma <hiltjo@codemadness.org>
Sat, 9 May 2020 11:55:34 +0000 (13:55 +0200)
committerHiltjo Posthuma <hiltjo@codemadness.org>
Sat, 9 May 2020 12:05:04 +0000 (14:05 +0200)

No differences found