Skip to content

§8.3's first algorithm: owner initialization - #21

Merged
OR13 merged 1 commit into
mainfrom
owner-init
Jul 29, 2026
Merged

§8.3's first algorithm: owner initialization#21
OR13 merged 1 commit into
mainfrom
owner-init

Why: an owner adopts a history it has not seen, so it is the one oper…

7bd53af
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar