On Wed, 11 Nov 2020, peter green wrote: > The correct commit is > https://github.com/JuliaLang/julia/commit/971e769479a2947a55cc253dc9750fd2a361367a
Thanks, included in the git repo, will be in the next upload. Best Norbert -- PREINING Norbert https://www.preining.info Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13