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=456398 --- Comment #13 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2008-08-02 22:18:12 EDT --- Excellent! I checked and confirmed that you've fixed the blocker (not including the license file). rpmlint is now 100% silent (which is good; that means the buffer overflow protection, etc., will now work properly). I started up the graphical "gwhy" and confirmed that (1) you can now navigate the filesystem using the GUI, and that (2) you can work with files not in the current directory. Looks good. I did a try with binary_search.c, and confirmed that it now works with Zenon (which already has a Fedora package). Zenon doesn't do a _great_ job, but it does prove some verification conditions. Reducing the number of default columns is a big help; new users will be overwhelmed enough. I think it's ready for release. Congrats! APPROVED. -- 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review