Re: [pacman-dev] [PATCH] Add --with-sudo configure option