support mirrors of type GeoDNS with no Country

This is the minimal support to allow adding them to Mirrors.masterlist.
Such GeoDNS mirrors are not currently listed on the per-country mirror
lists.

CVS version numbers

english/mirror/mirror_list.pl: 1.140 -> 1.141

1 files changed, 2 insertions, 0 deletions

diff --git a/english/mirror/mirror_list.pl b/english/mirror/mirror_list.pl
index 574f6cbb899..69e88d5bff4 100755
--- a/english/mirror/mirror_list.pl
+++ b/english/mirror/mirror_list.pl
@@ -1698,6 +1698,8 @@ foreach my $id (0..$#mirror) {
 # but this would be fairly tedious and hardcoded, for no apparent reason
 # because we use this in mirror_sponsors() which doesn't really care
     }
+  } elsif ($mirror[$id]{type} =~/GeoDNS/i) {
+    # TODO these are not currently displayed anywhere
   } else {
     warn "found a mirror without a country, wtf? " . $mirror[$id]{site};
   }