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. Martin