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=592579
--- Comment #39 from David A. Wheeler <dwheeler(a)dwheeler.com> 2010-07-18 13:34:02
EDT ---
EXCELLENT. This is looking awesome.
The SELinux fix works perfectly; at least for trivial uses, SELinux is now
happy. The new comment seems clear enough, too.
I should go back and see if the changes have messed up anything, or if there
are big problems I didn't notice before, but so far it's looking great.
This version of Frama-C is not the current version. If it'd be trivial to
upgrade it to the current version, I think the *current* version would be best.
But if that's non-trivial, this version is a great place to start. Would that
upgrade be trivial, or not?
--
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.