[zypp-commit] r8412 - /branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc