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 <trei...@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 <trei...@debian.org> Wed, 13 Dec 2017 08:22:00 +0100 + -- Ralf Treinen <trei...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits