[why/f16] Update alt_ergo and yices "okay" version numbers.

Jerry James jjames at fedoraproject.org
Tue Dec 6 18:03:46 UTC 2011

Previous message: [glibc/f16] - Mark fortified __FD_ELT as extension - Fix typo in manual (#708455)
Next message: [kernel] Turn on DEBUG_PAGEALLOC for a day.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  9714017... Update alt_ergo and yices "okay" version numbers. (*)

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

Previous message: [glibc/f16] - Mark fortified __FD_ELT as extension - Fix typo in manual (#708455)
Next message: [kernel] Turn on DEBUG_PAGEALLOC for a day.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list