The following commit has been merged in the master branch:
commit 4d0464d7afd2ef8ae89635d21abb6a0d95875d39
Merge: bcf44c8b04b650458dfcb1262a133e3cbd51e2db 
3f472a920a2dcbf8e2de7fa989c63317cf02b946
Author: Ralf Treinen <trei...@debian.org>
Date:   Sun Nov 25 11:12:02 2012 +0100

    Merge tag 'upstream/3.1.3'
    
    Upstream version 3.1.3

diff --combined .gitignore
index bc827ce,c0f62cd..4336a08
--- a/.gitignore
+++ b/.gitignore
@@@ -7,9 -7,9 +7,10 @@@ algo/algo.mlpac
  autom4te.cache/
  common/versionInfo.ml
  config.status
+ config.log
  db/db.mlpack
  doc/manpages/*.1
  *.native
  *.byte
  */*\.swp
 +.pc

-- 
dose3 packaging

_______________________________________________
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

Reply via email to