[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201-12-gde8b0d6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit de8b0d6a75fbdcc1ae49531c3f48603a124de8d1
Merge: bb8c714d955936175dc01893050919ea035c9ef4 33f0de36617a2c0df1a23e4894c3be7356750bde
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue May 19 21:33:45 2009 +0200

    Merge commit 'upstream/20081201.dfsg'


-- 
frama-c packaging