Merge pull request #444 from dedeckeh/pr_nat46
authorJo-Philipp Wich <jo@mein.io>
Sun, 27 Jan 2019 17:26:25 +0000 (18:26 +0100)
committerGitHub <noreply@github.com>
Sun, 27 Jan 2019 17:26:25 +0000 (18:26 +0100)
nat46: drop from repo


Trivial merge