From 7ec68119a6c43c928b4a25c72474f1f90630490a Mon Sep 17 00:00:00 2001
From: Matthias Radestock <matthias.radestock@gmail.com>
Date: Wed, 6 Jul 2016 23:21:42 +0100
Subject: [PATCH] remove duplication of `--no-dns`

This was harmless, but annoying.
---
 weave | 1 -
 1 file changed, 1 deletion(-)

diff --git a/weave b/weave
index 0e3ed19c..ef7a629b 100755
--- a/weave
+++ b/weave
@@ -1583,7 +1583,6 @@ launch_router() {
             --no-dns)
                 DNS_ROUTER_OPTS=
                 NO_DNS_OPT="--no-dns"
-                ARGS="$ARGS $1"
                 ;;
             --no-restart)
                 RESTART_POLICY=