+++ Philippe De Swert [04-07-12 10:46 +0200]: > Hello Karthik, thanx for the reminder > Well the website has been updated recently and this has been fixed. > Unfortunately only the secondary site has seen the update it seems. > See buildd.emdebian.org, this is the updated one. Hopefully the updated pages > will move soon to the "official" server. actually, the official server will soon point to the new pages instead. I'llpoke someone about that. Wookey