Skip to content

Fix two comments naming builtins that were removed or have since landed - #14

Merged
janstrakowski merged 1 commit into
mainfrom
fix-stale-serialize-comments
Aug 28, 2026
Merged

Fix two comments naming builtins that were removed or have since landed#14
janstrakowski merged 1 commit into
mainfrom
fix-stale-serialize-comments

Fix two comments naming builtins that were removed or have since landed

f1fe7ab
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar