This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository menhir.

commit 7702664fb5d7f81b9f92f15acb1c2bdf0ba09e38
Author: Ralf Treinen <>
Date:   Wed Jul 12 23:52:52 2017 +0200

    mv to menhir.install
 debian/{ => menhir.install} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/ b/debian/menhir.install
similarity index 100%
rename from debian/
rename to debian/menhir.install

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to