[zypp-commit] <sat-solver> SuSE-Code-11-Branch : changes 0.13.10