It's likely that upstream won't accept these changes in their current form, but since it only introduces an additional API call I guess it probably can't hurt to include this eagerly (for 1.8.2 or 1.8.3, as requested by others) and re-synchronize with upstream at a later point.
Used in https://github.com/JuliaLang/julia/pull/46796
It's likely that upstream won't accept these changes in their current form, but since it only introduces an additional API call I guess it probably can't hurt to include this eagerly (for 1.8.2 or 1.8.3, as requested by others) and re-synchronize with upstream at a later point.