> On Dec 9, 2023, at 8:11 AM, Jason Thorpe <thorpej%me.com@localhost> wrote: > > …and I can’t reproduce the problem. Actually, never mind, I can… I didn’t notice your “minimal reproducer” before … and that triggers the problem for me. -- thorpej