Skip to content

Conversation

@dforbush2
Copy link
Contributor

This fixes issue 1287 on the dev branch. Also includes quick fixes to 1288.

@jtgrasb
Copy link
Contributor

jtgrasb commented Aug 9, 2024

Thanks for the quick fixes, Dom! Merging now.

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