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