Skip to content

Conversation

@thijstriemstra
Copy link
Collaborator

@thijstriemstra thijstriemstra commented Oct 26, 2024

needs to be force-merged.

@thijstriemstra thijstriemstra marked this pull request as ready for review November 2, 2024 22:26
@rm-hull rm-hull merged commit 3b5a2d2 into master Nov 2, 2024
8 checks passed
@thijstriemstra thijstriemstra deleted the remove-py37 branch November 2, 2024 22:47
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