Merge pull request #7418 from TDT-AG/pr/20181108-mwan3
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 14 Nov 2018 14:35:50 +0000 (16:35 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Nov 2018 14:35:50 +0000 (16:35 +0200)
mwan3: remove deprecated options


Trivial merge