Re: [pacman-dev] [PATCH] conflict: skip dir children when replacing a file