> On Feb 7, 2020, at 12:40 AM, Jason Thorpe <thorpej%me.com@localhost> 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