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

[Sebastian Rittau <srittau@jroger.in-berlin.de>]

On Tue, Aug 06, 2002 at 02:16:32PM -0400, Colin Walters wrote:

> --- 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 30 points.
> +		</p>
> +	      </item>
>  	    </list>
>  	  </p>
>  	</sect1>

Remove the superfluous "the", and count this as a second (or probably a
third, fourth, etc.)

 - Sebastian