Skip to content

Conversation

@appsdesh
Copy link
Contributor

Consolidating changes from PRs

1. #109
2. #108
3. #100
@appsdesh appsdesh force-pushed the consolidated-commits branch from 46c93f3 to f710b5f Compare September 22, 2023 18:56
Shayne's suggestion
More places to fix MUST -> SHOULD
Copy link
Contributor

@FragLegs FragLegs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for all the work!

@tulshi tulshi merged commit 28d7796 into main Sep 22, 2023
@tulshi tulshi deleted the consolidated-commits branch September 22, 2023 22:37
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.

5 participants