Closed josephg closed 3 years ago
I intend to merge this PR in about 1 week if there is no further discussion / objections.
This PR looks good to me! 👍 Thanks for writing it up!
Thanks - I've updated the PR based on your comments. Hopefully we can merge this tomorrow at the meeting.
This PR fixes #73 as per the discussion we had at meeting 6.