Re: [pacman-dev] [PATCH v2 1/2] Document pacman -F