]> git.donarmstrong.com Git - debian-ctte.git/blobdiff - 919951_dune/draft
For such a short mail, "preliminaries" is not required
[debian-ctte.git] / 919951_dune / draft
index 7c60c394df6fc3838b3a1ededbb9dbec7afc332b..43dc45901ebf7a9f702280f8c90e00e322cae9c8 100644 (file)
@@ -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Ā¹.