Merge pull request #404 from mwarning/nodogsplash
authorMoritz Warning <[email protected]>
Fri, 17 Aug 2018 17:25:52 +0000 (19:25 +0200)
committerGitHub <[email protected]>
Fri, 17 Aug 2018 17:25:52 +0000 (19:25 +0200)
nodogsplash: fix minor things


Trivial merge