Skip to content

Allow missing end-of-compression labels on history points - #222

Merged
alongd merged 1 commit into
mainfrom
history-points-optional-eoc-state
Oct 3, 2026
Merged

Allow missing end-of-compression labels on history points#222
alongd merged 1 commit into
mainfrom
history-points-optional-eoc-state

idt: allow missing labels on history points

18d6e77
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar