Re: debian-ports.org migration

2011-05-01 Thread Aurelien Jarno
On Sat, Apr 30, 2011 at 11:54:56PM +0200, Aurelien Jarno wrote: Hi all, As some of you might already be aware, debian-ports.org is moving to a new machine, which should solve our disk space issues and secure the hosting for the future. This machine is now hosted by Debian and is called

debian-ports.org migration

2011-04-30 Thread Aurelien Jarno
Hi all, As some of you might already be aware, debian-ports.org is moving to a new machine, which should solve our disk space issues and secure the hosting for the future. This machine is now hosted by Debian and is called leda.debian.net [1]. Thanks to DSA for making that possible. The