Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: Review Request: mona - a solver for the WS1S and WS2S logics
https://bugzilla.redhat.com/show_bug.cgi?id=436033
rjones@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Flag|fedora-review? |fedora-review+
------- Additional Comments From rjones@redhat.com 2008-05-06 08:52 EST ------- OK, I've read the MultilibTricks page now, and I approved (either version).
=========
APPROVED.