On Thu, Jun 06, 2024 at 06:28:51AM -0400, Greg Troxel wrote: > > Is it worth a PR? I have no clue if it can be reproduced. > I would say yes it's worth it. kern/58317 -- Emmanuel Dreyfus manu%netbsd.org@localhost