[why/f16] (3 commits) ...Adapt changes in master to F16.

Jerry James jjames at fedoraproject.org
Wed Jan 11 23:02:08 UTC 2012

Previous message: [cumin/f15] (2 commits) ...Forgot it was 2012 in the changelog
Next message: [why/f16: 3/3] Adapt changes in master to F16.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  91ee447... Rebuild for coq 8.3pl3. (*)
  690799d... Patch to work with flocq 2.0.0. (*)
  3d74c1e... Adapt changes in master to F16.

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

Previous message: [cumin/f15] (2 commits) ...Forgot it was 2012 in the changelog
Next message: [why/f16: 3/3] Adapt changes in master to F16.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list