This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit f6c35088fc20b534aac0b92df7cb9750d2b68b46
Merge: a8c0742 76f9b4c
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Wed Dec 28 13:45:46 2016 +0000
Merge tag 'upstream/8.6.1'
Upstream version 8.6.1
Make | 4 ++--
aac.mlpack | 2 +-
rewrite.ml4 => aac_rewrite.ml4 | 0
rewrite.mli => aac_rewrite.mli | 0
4 files changed, 3 insertions(+), 3 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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
