[Pkg-ocaml-maint-commits] [aac-tactics] 05/06: Merge tag 'upstream/8.6.1'

[Enrico Tassi]

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 <gareuselesinge at 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