Hi Manuel,

On Tue, Nov 26, 2019 at 09:01:28AM +0100, Manuel Bouyer wrote:

> Any chance this has been fixed since 2 days ago ?

Yes indeed, since yesterday with rev 1.51 src/sys/kern/kern_softint.c.

Cheers,
Andrew

Reply via email to