It looks like I made a mistake on a previous build. I retested d60dafd, built on 20180911, and it actually does have the bug. Sorry!
(Being an apparent race condition, a buggy kernel actually does work sometimes.)
It looks like I made a mistake on a previous build. I retested d60dafd, built on 20180911, and it actually does have the bug. Sorry!
(Being an apparent race condition, a buggy kernel actually does work sometimes.)