Skip to content

Conversation

@emschwartz
Copy link
Contributor

To fix the failing build

@emschwartz emschwartz requested a review from mellowagain April 28, 2023 09:20
@emschwartz emschwartz enabled auto-merge (squash) April 28, 2023 09:20
@emschwartz emschwartz merged commit 21f76b5 into main Apr 28, 2023
@emschwartz emschwartz deleted the gitcl branch April 28, 2023 12:17
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