New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Re-exports improvements #1545

Merged

hadley merged 1 commit into main from exports-polish

Nov 21, 2023

Member

hadley commented Nov 21, 2023

Automatically import the function
Opt-out of default behaviour by setting name or @rdname.

Fixes #1408


          Re-exports improvements

b6876f7

* Automatically import the function
* Opt-out of default behaviour by setting `name` or `@rdname`.

Fixes #1408

hadley merged commit b494e23 into main

hadley deleted the exports-polish branch

November 21, 2023 20:48

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet