Whereas: 1. The Debian Technical Committee has been asked to resolve a dispute between maintainers of Debian Policy over a change that i. incorporates the description of the FreeDesktop menu system and its use in Debian for listing program in desktop menus and associating them with media types ii. softens the wording on the Debian Menu system to reflect that in Jessie it will be neither displayed nor installed by default on standard Debian installations. Using its power under §6.1.1 to decide matters of technical policy: OPTION A: 1. The Technical Committee adopts the changes proposed by Charles Plessy in ba679bff[1]. 2. Further modifications to the menu policy are allowed using the normal policy modification process. [1]: http://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=ba679bff76f5b9152f43d5bc901b9b3aad257479 Using its power under §6.1.5 to offer advice: 1. The Technical Committee suggests that the maintainers of the Debian menu package support translating .desktop files of packages which do not provide menu files. OPTION B: 1. Considers that the policy procedure resulted in consensus, and adopts the changes proposed by Charles Plessy in ba67bff.[1] 2. Further modifications to the menu policy are allowed using the normal policy modification process. [1]: http://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=ba679bff76f5b9152f43d5bc901b9b3aad257479 Using its power under §6.1.5 to offer advice: 1. The Technical Committee suggests that the maintainers of the Debian menu package support translating .desktop files of packages which do not provide menu files. OPTION C: 1. The Technical Committee adopts the changes proposed by Bill Allombert.[1] 2. Further modifications to the menu policy are allowed using the normal policy modification process. [1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?att=1;filename=patch2;bug=707851;msg=446 OPTION Z: Further discussion