[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-12-g55c95e6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f8ae7702c621529bc0e01cd3350a12b2b3d50fc9
Merge: 8f6cc2ada62b3e46e030971919cfeb0d09b9b18e 33d891b06c2a6eb85161fc396f5d007db4fc2782
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Sep 4 15:44:32 2009 +0200

    Merge commit 'upstream/20090901+beryllium+dfsg'


-- 
frama-c packaging