1 files changed, 1 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index f0579e2..6f279c6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -14,6 +14,7 @@ gnumach (1:20060201-1) UNRELEASED; urgency=low
     - debian/patches/45_io_per_task.patch: Likewise.
     - debian/patches/90_autoconf_autogen.patch: Likewise.
   * Fix -H kernel command line argument to halt on panic. (Closes: #184624)
+    - debian/patches/05_halt_on_panic_flag.patch: New file.
     Thanks to Soeren D. Schulze <soeren.d.schulze@gmx.de>.
   * Do not allow PCI IRQ's higher than 16.
     - debian/patches/patches/24_pci_irq_fix.patch: New file.