https://bugzilla.wikimedia.org/show_bug.cgi?id=19986
--- Comment #17 from Gerard Meijssen <[email protected]> --- The short answer is yes. Changing the DNS is worthwhile in its own right as it solves some immediate visual issues. There have been all too many discussions in the past, changing the DNS does not change the names of the dumps. This point has been made repeatedly. One other aspect is that several codes have been used illegitimately and, it does not free up the names for legitimate use. Thanks, GerardM -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
