Skip to content

Delete [promote-foo] syntax in favour of [promote foo]#5091

Merged
snowleopard merged 1 commit intoocaml:mainfrom snowleopard:delete-promote-blah-modesNov 4, 2021
+110-21

Commits

Commits on Nov 4, 2021