[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-6-16-gdbbc991

Tue Apr 27 14:41:56 UTC 2010

The following commit has been merged in the master branch:
commit 676e1ee1146be4efe6a59c266d9be8c69d4498d5
Merge: 95317bbaed306589a009c2048e0373a60988830d b9622c0a79736881c15e6acab387655adea70a46
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Apr 27 11:07:32 2010 +0200

    Merge commit 'upstream/20100401+boron+dfsg'


-- 
frama-c packaging