The following commit has been merged in the master branch: commit bc8f4fcfd91a150440aff72c552e4f47b791ca87 Merge: 67ef5ec22bdcc9d1484123e2e422463a74efb983 cf6091bb32443616c99208e6536dcc842bf0b407 Author: Mehdi Dogguy <me...@dogguy.org> Date: Thu Dec 8 15:32:36 2011 +0100
Merge commit 'upstream/20111001+nitrogen+dfsg' -- frama-c packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits