Skip to content

Announce record damage that is not a layout failure - #396

Merged
typeless merged 2 commits into
mainfrom
fix/383-announce-record-damage
Aug 12, 2026
Merged

Announce record damage that is not a layout failure#396
typeless merged 2 commits into
mainfrom
fix/383-announce-record-damage

Delete is_valid_index, a third encoding of the readable window

8c578d2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
format-check
succeeded Aug 12, 2026 in 6s