Bug#614233: www.debian.org: patch replacing Debian GNU/Linux where relevant

2012-04-09 Thread Holger Wansing
Hi, Holger Wansing li...@wansing-online.de wrote: David Prévot taf...@debian.org wrote: Note: I focused on Paul's patch, and didn't check if there were other parts of the website to be addressed, if someone else could verify, that would be much appreciated. I volunteer for this, if

Bug#614233: www.debian.org: patch replacing Debian GNU/Linux where relevant

2012-04-05 Thread Osamu Aoki
Hi, My position is to replace Debian GNU/Linux with Debian. But I also think this is significant enough change which needs some serious position approval. I do not think this is something we need to do GR but at least general consensus beyond DDP or web team. So, I CCed leader :-) to get some

Bug#614233: www.debian.org: patch replacing Debian GNU/Linux where relevant

2012-04-05 Thread Paul Wise
On Fri, 2012-04-06 at 00:56 +0900, Osamu Aoki wrote: But I also think this is significant enough change which needs some serious position approval. I do not think this is something we need to do GR but at least general consensus beyond DDP or web team. So, I CCed leader :-) to get some

Bug#614233: www.debian.org: patch replacing Debian GNU/Linux where relevant

2012-04-04 Thread David Prévot
tags 614233 - patch thanks Le 14/02/2012 05:30, Paul Wise a écrit : The attached patch replaces Debian GNU/Linux with Debian where relevant and makes other changes needed to fix #614233. I would like some review here, especially on stuff that isn't strictly in the realm of the website team.