Bug#606869: debian-policy: Please fix freedesktop.org links

2011-04-03 Thread Russ Allbery
David Prévot da...@tilapin.org writes: freedesktop.org URL in the Policy are moved permanently. The following patch solve this issue. Thanks, applied. -- Russ Allbery (r...@debian.org) http://www.eyrie.org/~eagle/ -- To UNSUBSCRIBE, email to

Bug#606869: debian-policy: Please fix freedesktop.org links

2011-03-01 Thread Jonathan Nieder
user debian-pol...@packages.debian.org usertags 606869 + informative quit Hi David, David Prévot wrote: --- a/policy.sgml +++ b/policy.sgml @@ -8940,9 +8940,9 @@ name [varsyshostname/var]: item If the window manager complies with url -

Bug#606869: debian-policy: Please fix freedesktop.org links

2010-12-12 Thread David Prévot
Package: debian-policy Version: 3.9.1.0 Severity: minor Tags: patch Hi, freedesktop.org URL in the Policy are moved permanently. The following patch solve this issue. Regards David diff --git a/policy.sgml b/policy.sgml index 642f672..a6bc73c 100644 --- a/policy.sgml +++ b/policy.sgml @@