[zenon/f18] Rebuild for coq 8.4pl1.

Jerry James jjames at fedoraproject.org
Mon Jan 14 19:49:48 UTC 2013

Previous message: [php-pear-phing/f18: 2/2] Merge branch 'master' into f18
Next message: [php-pear-phing/f17] (4 commits) ...Merge branch 'master' into f17
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  c3d96ee... Rebuild for coq 8.4pl1. (*)

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

Previous message: [php-pear-phing/f18: 2/2] Merge branch 'master' into f18
Next message: [php-pear-phing/f17] (4 commits) ...Merge branch 'master' into f17
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list