Merge pull request #404 from mwarning/nodogsplash
authorMoritz Warning <moritzwarning@web.de>
Fri, 17 Aug 2018 17:25:52 +0000 (19:25 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Aug 2018 17:25:52 +0000 (19:25 +0200)
nodogsplash: fix minor things


Trivial merge