]> git.donarmstrong.com Git - debian-ctte.git/commitdiff
For such a short mail, "preliminaries" is not required
authorGunnar Wolf <gwolf@gwolf.org>
Wed, 20 Feb 2019 23:47:44 +0000 (17:47 -0600)
committerGunnar Wolf <gwolf@gwolf.org>
Wed, 20 Feb 2019 23:47:44 +0000 (17:47 -0600)
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Ā¹.