Skip to content

Conversation

beetrees
Copy link
Contributor

@beetrees beetrees commented Jul 5, 2024

Fixes #812.

@jackh726
Copy link
Member

jackh726 commented Jul 5, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jul 5, 2024

📌 Commit 245bee6 has been approved by jackh726

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 5, 2024

⌛ Testing commit 245bee6 with merge 5bcd611...

@bors
Copy link
Contributor

bors commented Jul 5, 2024

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing 5bcd611 to master...

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.

Automatic releases have been failing for a couple of months
3 participants