[Pkg-ocaml-maint-commits] [SCM] approx upstream and debian packaging branch, master, updated. debian/5.2-1-4-g4a3eacf

[Eric Cooper]

The following commit has been merged in the master branch:
commit 475fbd662894cd3fcd1d31fecf8e371b92b3f818
Merge: b1e4ac91eea42f72b28a82e053f2b31de39b3c8b 80120951165c408c88f53859c4d5dcdb59da1911
Author: Eric Cooper <ecc at cmu.edu>
Date:   Fri Aug 24 14:55:52 2012 -0400

    Merge branch 'upstream'


-- 
approx upstream and debian packaging