[stp/f20] Really rebuild for cryptominisat 2.9.8.

Jerry James jjames at fedoraproject.org
Thu Oct 10 02:07:08 UTC 2013


Summary of changes:

  e611f6d... Really rebuild for cryptominisat 2.9.8. (*)

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


More information about the scm-commits mailing list