Re: [pacman-dev] [PATCH v3 2/2] Add makepkg option --packagelist; fix bug #42150