Skip to content

Conversation

@duck2
Copy link
Contributor

@duck2 duck2 commented May 8, 2023

@duck2 duck2 force-pushed the fix_rtd branch 3 times, most recently from 19ce220 to 2f30ada Compare May 8, 2023 16:39
@duck2
Copy link
Contributor Author

duck2 commented May 9, 2023

there's a failing check but that's not related to this PR

@duck2 duck2 merged commit 188cfb5 into master May 9, 2023
@duck2 duck2 deleted the fix_rtd branch May 9, 2023 09:37
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.

2 participants