julia
add the ability to rename identifiers in `deprecate_stdlib`
#26384
Merged

add the ability to rename identifiers in `deprecate_stdlib` #26384

JeffBezanson merged 1 commit into master from jb/depstdlibrename
JeffBezanson
JeffBezanson add the ability to rename identifiers in `deprecate_stdlib`
1a2d6929
JeffBezanson JeffBezanson added deprecation
JeffBezanson JeffBezanson merged ccbdac3c into master 7 years ago
JeffBezanson JeffBezanson deleted the jb/depstdlibrename branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone