[frama-c/f21] Bump release and rebuild.

Jerry James jjames at fedoraproject.org
Fri Sep 19 01:24:43 UTC 2014


Summary of changes:

  78d9d42... Bump release and rebuild. (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list