Skip to content

Conversation

nhopp
Copy link

@nhopp nhopp commented Aug 4, 2025

Fixes #

Description of the Change

Checklist

  • PR only contains one change (considered splitting up PR)
  • unit-test added
  • documentation updated
  • CHANGELOG.md updated (only for user relevant changes)
  • author name in AUTHORS

@dopry
Copy link
Member

dopry commented Aug 11, 2025

appears to be a duplicate of the other PR you opened. Please be mindful not to open spurious pull requests.

@dopry dopry closed this Aug 11, 2025
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