[zypp-commit] sat-solver : branch, master, updated.