On Mon, Jan 06, 2020 at 12:31:32PM +0100, Martin Husemann wrote: > On Mon, Jan 06, 2020 at 11:25:01AM +0000, Patrick Welche wrote: > > yet neither src/sys/sys/queue.h nor > > xsrc/external/mit/libdrm/dist/util_double_list.h > > appear to have changed in ages?! > > It was sys/sched.h and I just fixed it. Thanks! Patrick