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
m...@netbsd.org

Reply via email to