+debian-policy (3.9.8.0) unstable; urgency=medium
+
+ * Policy: The Debian menu is optionally supported.
+ Wording: Charles Plessy <plessy@debian.org>
+ Seconded: Lisandro Damián Nicanor Pérez Meyer <perezmeyer@gmail.com>
+ Seconded: Cyril Brulebois <kibi@debian.org> (for the menu entries)
+ Seconded: Russ Allbery <rra@debian.org>
+ Closes: #707851
+
+ -- Don Armstrong <don@debian.org> Mon, 01 Feb 2016 20:26:05 -0800
+
debian-policy (3.9.7.0) unstable; urgency=low
* Policy: refreshed the names of the Policy Editors.
<chapt> The checklist
+<sect id="3.9.8.0"> Version 3.9.8.0
+<p>
+
+Released February, 2016.
+
+</p><p><taglist>
+<tag>9.6</tag>
+ <item> The menu system is deprecated in favor of the Free Desktop menu standard.
+ </item>
+</taglist>
+</p>
+
<sect id="3.9.7.0"> Version 3.9.7.0
<p>