13 Oct
2016
13 Oct
'16
4:23 p.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