Skip to content

lib.customisation: add uncurried form of makeScopeWithSplicing#245957

Merged
Artturin merged 2 commits intomasterfrom
unknown repository
Aug 20, 2023
Merged

lib.customisation: add uncurried form of makeScopeWithSplicing#245957
Artturin merged 2 commits intomasterfrom
unknown repository

Commits

Commits on Aug 13, 2023