[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.2-3-4-g4d0464d

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 4d0464d7afd2ef8ae89635d21abb6a0d95875d39
Merge: bcf44c8b04b650458dfcb1262a133e3cbd51e2db 3f472a920a2dcbf8e2de7fa989c63317cf02b946
Author: Ralf Treinen <treinen at 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