Skip to content

Conversation

lagru
Copy link

@lagru lagru commented Sep 9, 2025

Addresses #2260.

@lagru lagru marked this pull request as ready for review September 9, 2025 21:43
@drammock
Copy link
Member

the RTD build is persistently failing with not much in the way of helpful error messages / tracebacks, so I can't check if this is working easily. Will need to check locally when I have time; sorry for the delay.

@lagru
Copy link
Author

lagru commented Sep 10, 2025

No worries at all. :)

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