Bug#155680: PROPOSAL ] bump priority of window managers which support WMSP

[Colin Walters <walters@verbum.org>]

Well, are we basically in rough consensus about this now?

Here's an updated patch which just makes the priority increase 20
instead of 30.

--- debian-policy-3.5.6.1/policy.sgml	2002-03-14 13:17:48.000000000 -0500
+++ debian-policy-3.5.6.1.hacked/policy.sgml	2002-08-06 14:09:01.000000000 -0400
@@ -6798,6 +6798,15 @@
 		  configuration, add 10 points; otherwise add none.
 		</p>
 	      </item>
+	      <item>
+		<p>
+		  If the window manager complies with the <url
+		  id="http://www.freedesktop.org/standards/wm-spec.html";
+		  name="The Window Manager Specification Project">,
+		  written by the <url id="http://www.freedesktop.org";
+		  name="Free Desktop Group">, add 20 points.
+		</p>
+	      </item>
 	    </list>
 	  </p>
 	</sect1>