Merge pull request #395 from mwarning/nodogsplash2
authorMoritz Warning <moritzwarning@web.de>
Mon, 23 Jul 2018 22:13:15 +0000 (00:13 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Jul 2018 22:13:15 +0000 (00:13 +0200)
nodogsplash2: cleanup


Trivial merge