On Tue, Mar 17, 2020 at 10:21 AM Thomas Munro <[email protected]> wrote: > I'm now far away from my home Mac so I can't test until later but I > think we can fix this by double checking with the pipe:
Pushed.
On Tue, Mar 17, 2020 at 10:21 AM Thomas Munro <[email protected]> wrote: > I'm now far away from my home Mac so I can't test until later but I > think we can fix this by double checking with the pipe:
Pushed.