Skip to content

Deprecate actions in the alias Stanza#2846

Merged
rgrinberg merged 2 commits intoocaml:masterfrom rgrinberg:deprecation-alias-actionNov 5, 2019

Commits

Commits on Nov 5, 2019