Merge pull request #14403 from Vexu/fixes

Misc fixes
a51c76541dAndrew Kelley committed on 1/22/2023, 5:36:50 AM· committed by GitHubparentsf85c01daa626de
13 files changedLine totals unavailable