[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-3-gfed1c14

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0ef93eb26e883acbe6b6757ad88753d2fde7f892
Merge: 5a77704938f5e4d72c1b905f60401302c378252e 354327e21660a3470b7ba8f10d857077f885ef8c
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jun 19 13:34:27 2010 -0700

    Merge commit 'upstream/1.9.20'


-- 
cameleon packaging