Re: [pacman-dev] Pacman-4.2 release plans