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

Jerry James jjames at fedoraproject.org
Fri Aug 13 20:09:58 UTC 2010


commit b021d6d6834998578509ad72eecfdb7ddcf4459d
Merge: de98b23 8f8c4a6
Author: Jerry James <jamesjer at localhost.localdomain>
Date:   Mon Aug 2 12:58:23 2010 -0600

    Merge remote branch 'origin/f13/master'

---


More information about the scm-commits mailing list