On Tuesday 25 February 2014 23:46:00 Bill Allombert wrote: > This is a list of MSGID which have not received proper consideration: > > <20130512130335.ga4...@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.80...@gambaru.de> > <20140125151743.ga25...@khazad-dum.debian.net> > <52ee6a15.8090...@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 -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/19909149.LQ8JUtmgJa@dabney
