Skip to content

Proj6#262

Merged
artemp merged 3 commits intomasterfrom
proj6
Jan 23, 2023
Merged

Proj6#262
artemp merged 3 commits intomasterfrom
proj6

Conversation

@artemp
Copy link
Member

@artemp artemp commented Jan 23, 2023

Update to >= proj6

@artemp artemp self-assigned this Jan 23, 2023
@artemp artemp merged commit 6c0e9b5 into master Jan 23, 2023
@craigds craigds mentioned this pull request Apr 13, 2023
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.

1 participant