Skip to content

Conversation

@adienes
Copy link
Member

@adienes adienes commented Jan 20, 2023

this seems like a useful function, and it would make sense to expose it publicly with some docs.

@vtjnash vtjnash added the merge me PR is reviewed. Merge when all tests are passing label Jan 22, 2023
@kshyatt kshyatt added the docs This change adds or pertains to documentation label Jan 22, 2023
@kshyatt kshyatt merged commit 9f93b31 into JuliaLang:master Jan 22, 2023
@kshyatt kshyatt removed the merge me PR is reviewed. Merge when all tests are passing label Jan 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants