Merge pull request #14333 from Vexu/fixes

Misc fixes
7f604b6f48Andrew Kelley committed on 1/18/2023, 2:32:13 AM· committed by GitHubparents73827d2841b38a
11 files changedLine totals unavailable