remove unnecessary discard

aaee26bb19Justus Klausecker committed on 8/7/2025, 12:34:05 PMparent0ecbd5a
1 file changedLine totals unavailable