25 Nov
2015
25 Nov
'15
6:41 p.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