Merge pull request #14844 from perillo/fix-issue-13280

Fix issue 13280
9370fb8b81Andrew Kelley committed on 6/17/2023, 8:37:28 PM· committed by GitHubparents366e3c67ca052a
2 files changedLine totals unavailable