Skip to content

[Editorial] 'policy' is a local term, not global. - #812

Merged
mikewest merged 2 commits into
mainfrom
policy
Apr 19, 2026
Merged

[Editorial] 'policy' is a local term, not global.#812
mikewest merged 2 commits into
mainfrom
policy

fixup

7cca5f3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar