[picosat: 7/7] Merge remote branch 'origin/f12/master'

Jerry James jjames at fedoraproject.org
Fri Aug 13 20:10:03 UTC 2010


commit 8c65a0142344441eb04172e70166202d8dbca062
Merge: b021d6d 9c118e1
Author: Jerry James <jamesjer at localhost.localdomain>
Date:   Mon Aug 2 12:58:24 2010 -0600

    Merge remote branch 'origin/f12/master'

---


More information about the scm-commits mailing list