X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=919951_dune%2Fdraft;h=43dc45901ebf7a9f702280f8c90e00e322cae9c8;hb=74b2d7751525cb7a6bd1eb458b732824f2976523;hp=7c60c394df6fc3838b3a1ededbb9dbec7afc332b;hpb=c07982a92472939776f44731922f61b80624cbaf;p=debian-ctte.git

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¹.