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)
commit76773ec5dd754730307c2cb6c07a21128766fb33
tree3906c45f05c836c8c37e7b7e7e2f08f2ef8ee5d1
parente46736e78c1bbea4d6b7e1949e9a60fd33790c2f
parentc7d0e1c7a4d66b2051ce6a18ec1344d06a4cf297
Merge pull request #399 from mwarning/nodogsplash2_fix

nodogsplash2: remove reference to dead code