Comment 16 for bug 223840

Revision history for this message
Michael Terry (mterry) wrote :

I still think it's a good patch, but whether the patch is worth it or not.. I don't have strong feelings about it.