jpetazzo/dockvpn — pull request #10 by orkaa (2014-09-28 22:57:19+00:00)
Title: Server on 443 should also push DNS options

Any reason why these settings are not duplicated on both servers?