This is correct, and was added back a few weeks later in https://github.com/sudo-project/sudo/commit/9757d29a24ac1872872cf09757b0439c54089707 https://github.com

This is correct, and was added back a few weeks later in https://github.com/sudo-project/sudo/commit/9757d29a24ac1872872cf09757b0439c54089707 https://github.com/sudo-project/sudo/commit/9757d29a24ac1872...