Comment 13 for bug 717717

Revision history for this message
Michael Larsen (mike.gh.larsen) wrote :

Oops. The patch I posted is reversed. Here's a more correct patch.