[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=548607





--- Comment #21 from David A. Wheeler <dwheeler at dwheeler.com>  2009-12-29 11:21:38 EDT ---
Congrats for figuring out the 32-bit platform problem, that's great news! 
Sounds like it needed fixing for 64-bit as well.

I can't wait for the next package revision!  Good luck.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.