Re: [zypp-devel] SAT solver flags for dist-upgrade ?