Skip to content

refactor: Rename pinning functions to make their meaning clearer#13178

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
Leonidas-from-XIV:refactor-pinning-names
Jan 2, 2026
Merged

refactor: Rename pinning functions to make their meaning clearer#13178
rgrinberg merged 2 commits intoocaml:mainfrom
Leonidas-from-XIV:refactor-pinning-names

Commits

Commits on Jan 2, 2026