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.


Reply via email to