Skip to content

Conversation

@tmcgilchrist
Copy link
Member

@dra27
Copy link
Contributor

dra27 commented Nov 3, 2021

Academically closed in favour of #147 which winds forwards to master rather than the commit from the PR (I think?!)

@dra27 dra27 closed this Nov 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants