Skip to content

Conversation

@stephengold
Copy link
Member

This modifies PR #2008 (including a partial revert) in order for it to be included in v3.6.1

@stephengold stephengold requested a review from Ali-RS June 7, 2023 23:06
@Ali-RS
Copy link
Member

Ali-RS commented Jun 8, 2023

It looks fine to me, thank you!

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