Bug#707851: Processed: tagging 707851
On Tuesday 25 February 2014 23:46:00 Bill Allombert wrote:
> This is a list of MSGID which have not received proper consideration:
>
> <20130512130335.GA4720@client.brlink.eu>
I think that most of this is 'sorting out details that we might hit in the
future'. I think that sorting them out when we might hit them is a better
approach.
> <20130512100730.GA10956@yellowpig>
I do think that it has been taken into consideration - see last paragraph in
https://lists.debian.org/debian-policy/2013/05/msg00071.html for example.
> <52E3BDE3.80707@gambaru.de>
> <20140125151743.GA25531@khazad-dum.debian.net>
> <[🔎] 52EE6A15.8090003@gambaru.de>
These three has been taken into consideration by adding
| Packages can, to be compatible with Debian additions to some window
| managers that do not support the FreeDesktop standard, also provide a
| <em>Debian menu</em> file, following the <em>Debian menu policy</em>,
| which can be found in the <tt>menu-policy</tt> files in the
| <tt>debian-policy</tt> package. It is also available from the Debian
| web mirrors at <tt><url name="/doc/packaging-manuals/menu-policy/"
| id="http://www.debian.org/doc/packaging-manuals/menu-policy/";></tt>.
to the text.
> Thus there is no consensus in favor of this change, so commiting to
> policy was premature. I reverted it in the GIT repository.
So yes, the comments has been taken into consideration, and I do think that
there is a consensus. Note that consensus doesn't mean unanimous.
It is time to move on from the debian menu.
/Sune
--
I didn’t stop pretending when I became an adult, it’s just that when I was a
kid I was pretending that I fit into the rules and structures of this world.
And now that I’m an adult, I pretend that those rules and structures exist.
- zefrank
Reply to: