fix #42411, restore export of `jl_options`#42416

Merged

JeffBezanson merged 2 commits intomasterfrom jb/jloptions

Sep 30, 2021

+138-99

Commits on Sep 28, 2021

fix #42411 , restore export of jl_options
JeffBezanson
committed

Commits on Sep 29, 2021

Update cli/loader_lib.c

JeffBezanson
and
vtjnash
authored