[Pkg-ocaml-maint-commits] [menhir] 05/05: drop debian/source/local-options
Ralf Treinen
treinen at moszumanska.debian.org
Wed Dec 13 20:33:12 UTC 2017
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository menhir.
commit 67ca31f60ac827bd446393acbe7345427b06e9c4
Author: Ralf Treinen <treinen at free.fr>
Date: Wed Dec 13 21:26:42 2017 +0100
drop debian/source/local-options
---
debian/changelog | 5 +++--
debian/source/local-options | 2 --
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 23c62d3..c8ef97a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,10 @@
menhir (20171206-1) unstable; urgency=medium
* New upstream version.
- * Standards-vesion 4.1.2 (nochange)
+ * Standards-version 4.1.2 (no change)
+ * Drop debian/source/local-options
- -- Ralf Treinen <treinen at debian.org> Wed, 13 Dec 2017 08:22:00 +0100
+ -- Ralf Treinen <treinen at debian.org> Wed, 13 Dec 2017 21:31:45 +0100
menhir (20171013-1) unstable; urgency=medium
diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644
index c4cf480..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1,2 +0,0 @@
-abort-on-upstream-changes
-unapply-patches
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git
More information about the Pkg-ocaml-maint-commits
mailing list