Uncurried mode#5796
Merged
cristianoc merged 16 commits intomasterfrom Nov 12, 2022
Commits
Commits on Nov 12, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed