No html email please, the mailing lists will not get them. Anshika Jain <[email protected]> writes: > I'd like to keep this as a small safety check for the future, not as a fix > for a bug happening today. If you think that's not worth adding, I'm fine > dropping the patch.
As mentioned, such bug would show up immediately in testing. So I vote dropping it. Nam
