25 Nov
2015
25 Nov
'15
10:41 a.m.
On Wed November 25 2015 10:12:02 Slávek Banko wrote:
As it turned out, the problem remained for users who have in their apt sources stated original redirector on the master server. However, at present, together with Tim we are trying to treat this problem!
Maybe have the old name give only an error/informational message and have the redirector send users to the master server when needed only under a new name for the master server?
--Mike