julia
Include default user depot when JULIA_DEPOT_PATH has leading empty entry
#56195
Merged

Include default user depot when JULIA_DEPOT_PATH has leading empty entry #56195

IanButterworth
IanButterworth fix and test when JULIA_DEPOT_PATH has leading empty entry
5043e2d1
IanButterworth IanButterworth added packages
IanButterworth IanButterworth added backport 1.11
IanButterworth IanButterworth requested a review from maleadt maleadt 1 year ago
maleadt
maleadt approved these changes on 2024-10-17
IanButterworth IanButterworth merged af51bcc5 into master 1 year ago
IanButterworth IanButterworth deleted the ib/depot_path_leading branch 1 year ago
giordano giordano removed backport 1.11

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone