10 Jan
2016
10 Jan
'16
1:38 p.m.
On 2016-01-10 10:23, Florian Pritz wrote:
I'm not sure what dev.archlinux.org is used for. Isn't that some kind of personal web space for devs? Can we move it that easily?
I think that's the only use if this subdomain at the moment. Does anyone use it actively nowadays? We could probably drop it entirely. Bartłomiej