Comment 13 for bug 1013798

Thank you Saul for identifying the issue. I've traced this patch back to this bug:
https://bugs.launchpad.net/ubuntu/+source/sudo/+bug/423252

I don't understand the details, but maybe it's helpful to you in understanding what it does and how to avoid the issues with it.