[pacman-dev] [PATCH] repo-remove: print an error in case of an empty db