> On Feb 7, 2020, at 12:40 AM, Jason Thorpe <thor...@me.com> wrote: > > Actually, I just got confirmation from nick that my patch fixes the problem, > so I’ll check it in shortly.
Ok, this should be fixed now. Please let me know if you encounter any problems with it. -- thorpej