|
From: James T. <ja...@fl...> - 2023-07-19 08:00:37
|
> On 18 Jul 2023, at 10:18, Florent Rougon <f.r...@fr...> wrote: > > Maybe James will want to double-check, but since he seems to be busy > with RL, given the non-invasiveness of your patch and our understanding > of this issue, I believe it's pretty safe to commit. Yes it’s good, I just forgot the semantics of Tie when making the change. Kind regards, James |