[pacman-dev] [PATCH] repo-add: fix error in directories with a space in their name