Date: Mon Jan 31 2011 - 09:09:17 PST
It looks like Mantis 2463 should have been closed as implemented in
1800-2009
Dave Rich
Verification Technologist
Mentor Graphics Corporation
New Office Number: 510-354-7439
<http://www.twitter.com/dave_59> <http://go.mentor.com/drich>
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
