julia
Add `Base.get_extension` to docs/API
#50860
Merged

Add `Base.get_extension` to docs/API #50860

SBuercklin
SBuercklin add get_extension to docs
05ac7aff
brenhinkeller brenhinkeller added docs
DilumAluthge DilumAluthge requested a review from KristofferC KristofferC 2 years ago
DilumAluthge DilumAluthge requested a review from IanButterworth IanButterworth 2 years ago
KristofferC KristofferC added backport 1.9
KristofferC KristofferC added backport 1.10
KristofferC KristofferC merged d1759bcd into master 2 years ago
KristofferC
KristofferC KristofferC removed backport 1.9
KristofferC KristofferC removed backport 1.10

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone