Skip to content

chore: update gemlock#204

Merged
jackton1 merged 3 commits intomainfrom
chore/update-gemlock
Dec 28, 2022
Merged

chore: update gemlock#204
jackton1 merged 3 commits intomainfrom
chore/update-gemlock

Conversation

@jackton1
Copy link
Copy Markdown
Contributor

No description provided.

@jackton1 jackton1 added the merge when passing Merge the PR automatically once all status checks have passed label Dec 28, 2022
@jackton1 jackton1 merged commit 178d20d into main Dec 28, 2022
@jackton1 jackton1 deleted the chore/update-gemlock branch December 28, 2022 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge when passing Merge the PR automatically once all status checks have passed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant