David Medberry Tue, 30 Apr 2013 08:18:17 -0700
Yes, that patch (debmirror.diff) from Tal does the trick.