On Tue, Mar 17, 2020 at 10:21 AM Thomas Munro <thomas.mu...@gmail.com> 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 <thomas.mu...@gmail.com> 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.