[frama-c/f19] (2 commits) ...Update to bugfix Fluorine release.

Jerry James jjames at fedoraproject.org
Thu May 23 18:04:56 UTC 2013

Previous message: [kgb-bot] Add the new sources and the kgb-bot.logrotate file.
Next message: [gappalib-coq/f19] New upstream release.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  94bf6fa... Update to Fluorine version. Merge -devel into the main pack (*)
  cefe8dc... Update to bugfix Fluorine release. (*)

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

Previous message: [kgb-bot] Add the new sources and the kgb-bot.logrotate file.
Next message: [gappalib-coq/f19] New upstream release.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list