fix build (#1859)

9847e9b621Julius Marminge committed on 4/9/2026, 9:20:05 PM· committed by GitHubparentb547fee
3 files changedLine totals unavailable