Merge pull request #7223 from neheb/sudo
authorDirk Brenken <dev@brenken.org>
Sun, 21 Oct 2018 08:28:38 +0000 (10:28 +0200)
committerGitHub <noreply@github.com>
Sun, 21 Oct 2018 08:28:38 +0000 (10:28 +0200)
sudo: Update to 1.8.25p1


Trivial merge