[Merge] ~danilogondolfo/ubuntu/+source/sudo:merge_mantic_lp2025655 into ubuntu/+source/sudo:debian/sid

[Christian Ehrhardt ]

(patch pilot of the day) Ok, I'll try to see what i can do without ...
-- 
https://code.launchpad.net/~danilogondolfo/ubuntu/+source/sudo/+git/sudo/+merge/446052
Your team Ubuntu Sponsors is requested to review the proposed merge of ~danilogondolfo/ubuntu/+source/sudo:merge_mantic_lp2025655 into ubuntu/+source/sudo:debian/sid.