Skip to content

Conversation

@tomjebo
Copy link
Collaborator

@tomjebo tomjebo commented Jun 27, 2023

fix to issue 1447 and other spelling corrections.

@tomjebo tomjebo requested a review from twsouthwick June 27, 2023 19:43
@tomjebo
Copy link
Collaborator Author

tomjebo commented Jun 27, 2023

@twsouthwick this is the new PR for the 1447 fix (i.e. spelling errors)

@tomjebo tomjebo merged commit 67c906d into main Jun 27, 2023
@tomjebo tomjebo deleted the issue1447 branch June 30, 2023 21:50
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