From fd2e7c9cd6816e6fe87015f2fd399d5d24cad845 Mon Sep 17 00:00:00 2001
From: Ximin Luo <infinity0@debian.org>
Date: Wed, 16 Aug 2017 14:10:43 +0200
Subject: [PATCH] Mark old bugs as closed

---
 debian/changelog | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index ad259e50..3e070957 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,11 +1,15 @@
 ocaml (4.05.0-8) UNRELEASED; urgency=medium
 
+  [ Ximin Luo ]
   * Merge changes from Debian unstable. Relevant ones:
     * Tell dh_installdocs to ignore README.Debian (see #868204)
     * obey hardening LDFLAGS (Closes: #792502). Thanks to Török Edwin
       for the patch!
     * Compute a stable name for preprocessed files (Closes: #838188).
       Thanks to Johannes Schauer for the patch!
+  * Close old bugs.
+    * New upstream release 4.05 closes CVE-2015-8869 (Closes: #824139).
+    * Debian release 4.03.0-3 defaults to PIC on arm (Closes: #837359).
 
   [ Pino Toscano ]
   * Convert the menu file to a desktop file. (see #741573)
-- 
2.30.2