[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4
Mehdi Dogguy
dogguy at pps.jussieu.fr
Wed May 20 13:33:01 UTC 2009
The following commit has been merged in the master branch:
commit a5fc748d4c3ddfa1f758dd795d661911a8f7af91
Merge: 1df3534f8b03bfb9dd77aadd9997cd69ca96a951 57510f45708c914921c3fef3c112dc78cfb1e1ad
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Wed May 20 15:17:02 2009 +0200
Merge commit 'upstream/20081201.dfsg'
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list