This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository menhir.
commit ecbe585d5a93106062d2f4f00254c888943bc43d Author: Stephane Glondu <st...@glondu.net> Date: Tue Aug 16 10:05:43 2016 +0200 Update debian/watch --- debian/watch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/watch b/debian/watch index 81310ba..7101261 100644 --- a/debian/watch +++ b/debian/watch @@ -1,4 +1,4 @@ version=3 -opts=dversionmangle=s/\.dfsg// \ +opts=dversionmangle=s/\+dfsg// \ http://pauillac.inria.fr/~fpottier/menhir/menhir-(.*)\.tar\.gz -- 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