13 Oct
2016
13 Oct
'16
8:23 a.m.
On 10.10.2016 12:39, Sergey wrote:
Old names still works, but I prefer new one for distributing over mirrorlist /etc.
Thanks, I've updated our database. Florian