Skip to content

§9.1 and §13.5, plus the 2026-07-28 draft revision - #26

Merged
OR13 merged 2 commits into
mainfrom
updating-a-label
Jul 30, 2026
Merged

§9.1 and §13.5, plus the 2026-07-28 draft revision#26
OR13 merged 2 commits into
mainfrom
updating-a-label

Why: the draft moved on 2026-07-28 and the peer did not, so five find…

8be5e09
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar