From 74b2d7751525cb7a6bd1eb458b732824f2976523 Mon Sep 17 00:00:00 2001
From: Gunnar Wolf <gwolf@gwolf.org>
Date: Wed, 20 Feb 2019 17:47:44 -0600
Subject: [PATCH] For such a short mail, "preliminaries" is not required

---
 919951_dune/draft | 2 --
 1 file changed, 2 deletions(-)

diff --git a/919951_dune/draft b/919951_dune/draft
index 7c60c39..43dc459 100644
--- a/919951_dune/draft
+++ b/919951_dune/draft
@@ -1,5 +1,3 @@
-= Preliminaries
-
 Bug report #916468 on the ownership of the /usr/bin/dune command was
 opened after a quite short discussion in debian-devel¹.
 
-- 
2.39.2