On Thu, Nov 07, 2019 at 03:32:48PM -0700, Theo de Raadt wrote: > > kern.version=OpenBSD 6.6-current (GENERIC.MP) #433: Thu Nov 7 10:41:08 MST > > 2019 > > That is too old and does not contain the solution. >
I obtained a different binary with the latest sets, but still see the same problem. The new binary is available under ~tb/lean/lean-new
