[zypp-commit] <sat-solver> master : - be more carful in pool_addfileprovides