julia

d432821e - fix return type of `exec_options` (#51787)

fix return type of `exec_options` (#51787) Should fix the failures observed in JuliaLang/BugReporting.jl#141. Test for this is in #51776 which depends on afromentioned PR which depends on this fix.