forwarded 813620 https://bugzilla.sudo.ws/show_bug.cgi?id=757 tags 813620 patch thanks
I initially ran into this problem on an Ubuntu system, but it seems to me that bug #813620 is upsteam bug #757. Todd Miller committed a patch less than an hour after I reported the bug: https://www.sudo.ws/repos/sudo/rev/605c03afc80f