[zypp-commit] <sat-solver> master : - apply patch from Dirk, fixes crash and memory leaks