Comment # 18 on bug 1132154 from Jonathan Rivrain

(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