Re: [zypp-devel] Enabled distupgrade of the SAT solver