Bug#865685: debian-policy: typo in upgrading-checklist

[Sven Joachim <svenjoac@gmx.de>]

Package: debian-policy
Version: 4.0.0.2
Severity: minor
Tags: patch

There's a small typo in upgrading-checklist.xml, see the patch below.

diff --git a/upgrading-checklist.xml b/upgrading-checklist.xml
index 7077d72..7a84fbc 100644
--- a/upgrading-checklist.xml
+++ b/upgrading-checklist.xml
@@ -206,7 +206,7 @@
             facility is in use.  Named pipes and device files outside of
             <filename>/dev</filename> should normally be created on demand
             via init scripts, systemd units, or similar mechanisms, but
-            may be created and removed in maintainer scripts if the must
+            may be created and removed in maintainer scripts if they must
             be created during package installation.
           </para>
         </listitem>