[zypp-devel] [PATCH] Fix for recent sat-solver changes and Rpm 4.7