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>
