Merge pull request #399 from mwarning/nodogsplash2_fix
authorJo-Philipp Wich <jo@mein.io>
Tue, 31 Jul 2018 16:33:58 +0000 (18:33 +0200)
committerGitHub <noreply@github.com>
Tue, 31 Jul 2018 16:33:58 +0000 (18:33 +0200)
nodogsplash2: remove reference to dead code


Trivial merge