Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?
On Sat, Jan 11, 2014 at 11:46:10AM +0900, Charles Plessy wrote:
> Hello everybody,
> I have read a lot of scepticism about the Debian menu in this thread, and no
> actual support for it. Perhaps I was trying to be too consensual and proposed
> an over-complicated solution while it is clear that the FreeDesktop system is
> I attached a new patch, where the Debian menu is removed, and pasted below a
> text export of the 9.6 and 9.7 sections after application of the patch.
Could I humbly suggest that for a change as significant as this, it
would be worth asking for feedback on debian-devel and debian-user as
well? It could be that there are users who will be significantly
affected by this but who don't read the -policy list. Then again,
there may well be silence or approval from those lists too.