[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-1-3-g8f66db5

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 8f66db5fe8ad86750664685bc0b419dc1319a418
Merge: 4914d6339477c3a751cb2673a0fb7c8ac0d53f07 d5572ba2327819d29945e9c70163263251859821
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jun 2 14:38:17 2009 +0200

    Merge commit 'upstream/20081201.dfsg'


-- 
frama-c packaging