[Pkg-ocaml-maint-commits] [facile] 02/04: Merge tag 'upstream/1.1.1'

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository facile.

commit a1712d8f15d2c7352fc09648f2d833126cbd4ef6
Merge: af45e57 b696d59
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 17 22:58:35 2016 +0100

    Merge tag 'upstream/1.1.1'
    
    Upstream version 1.1.1

 src/Makefile         | 4 ++--
 src/fcl_data.ml      | 2 +-
 src/fcl_domain.ml    | 6 +++---
 src/fcl_expr.ml      | 2 +-
 src/fcl_invariant.ml | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/facile.git