--- /dev/null
+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].
+
+[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]
+
+[1]: http://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=ba679bff76f5b9152f43d5bc901b9b3aad257479
+
+OPTION C:
+
+ 1. The Technical Committee adopts the changes proposed by Bill
+ Allombert.[1]
+
+[1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?att=1;filename=patch2;bug=707851;msg=446
+
+OPTION Z:
+
+Further discussion