1. 2023-09-29 Re: [PATCH gnumach] kern/sched_prim: Simplify by not hurd-bug Samuel Thibault 2. 2023-09-29 [PATCH gnumach] kern/sched_prim: Simplify by not disp hurd-bug Damien Zammit