Dear Andreas, Bill, Jonathan, and Russ, I am contacting you in your role as Policy Editors, about bug #707851.
After almost one year of work, discussion and consensus-building, a proposal was made to describe the FreeDesktop menu system in the Policy, and to alter the description of the Debian menu system to reflect the fact that it is not used by default on Stable and Unstable's default desktop, and that in Unstable it is not installed by default anymore. The proposal was seconded by enough Debian Developers and Russ allowed for applying it to the Policy. Bill then opposed and reverted the changes after the discussion ended. Unfortunately, Bill has been unavailable for discussing a resolution of this conflict, and this has the same consequence as a final veto, which I do not think is appropriate as a last-minute action for a proposal that has been debated and accepted. I am therefore asking you to resume the discussion on #707851, or to defer the decision to the technical comittee. Have a nice day, Charles -- Charles Plessy Tsurumi, Kanagawa, Japan. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org