Skip to content

Conversation

@eddelbuettel
Copy link
Contributor

As just discussed in a comment at the recently merged #869, the same issue is present in a few more places. This simple PR tries to get these remaining instances.

@HowardHinnant HowardHinnant merged commit d18e8b1 into HowardHinnant:master Mar 6, 2025
@HowardHinnant
Copy link
Owner

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.

2 participants