http://bugzilla.suse.com/show_bug.cgi?id=1132154 http://bugzilla.suse.com/show_bug.cgi?id=1132154#c18 --- Comment #18 from Jonathan Rivrain <jrivrain@suse.com> --- (In reply to Michael Schröder from comment #13) I'm not sure what you meant by:

So the solver testcase does not match the bug report.

So I'd rther precise that yes it does, just to avoid confusion: /var/log/zypper.solverTestCase/y2log:2019-04-11 13:21:23 <1> linux-hh22(4898) [libsolv] PoolImpl.cc(logSat):125 job: drop orphaned kernel-default < 3.11 /var/log/zypper.solverTestCase/y2log:2019-04-11 13:21:23 <999> linux-hh22(4898) [zypp::solver] SATResolver.cc(SATSolutionToPool):239 SATSolutionToPool install returns U_Ts_(27147)kernel-default-base-4.12.14-lp151.23.5.lp151.4.2.x86_64(repo-oss), 1 /var/log/zypper.solverTestCase/y2log:2019-04-11 13:21:23 <999> linux-hh22(4898) [zypp::solver] SATResolver.cc(SATSolutionToPool):247 SATSolutionToPool remove returns I_Ts_(67578)kernel-default-4.12.14-lp151.23.4.x86_64(@System), 1 -- You are receiving this mail because: You are on the CC list for the bug.