Merge pull request #444 from dedeckeh/pr_nat46
authorJo-Philipp Wich <[email protected]>
Sun, 27 Jan 2019 17:26:25 +0000 (18:26 +0100)
committerGitHub <[email protected]>
Sun, 27 Jan 2019 17:26:25 +0000 (18:26 +0100)
nat46: drop from repo


Trivial merge