Closed sanjai0py closed 1 week ago
fixes #2462
Note: Keeping the PR small and focused helps make it easier to review and merge. If you have multiple changes you want to make, please consider submitting them as separate pull requests.
Please see here for more information.
Merged.
Thanks for taking care of this @sanjai0py !
Description
fixes #2462
Contribution Checklist:
Note: Keeping the PR small and focused helps make it easier to review and merge. If you have multiple changes you want to make, please consider submitting them as separate pull requests.
Publishing to New Package Managers
Please see here for more information.