Code

fix(menhir): sandbox infer rule#5015

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/fix_menhir___sandbox_infer_ruleocaml/dune:ps/rr/fix_menhir___sandbox_infer_ruleCopy head branch name to clipboardOct 19, 2021

+11-1

Commits

Commits on Oct 18, 2021

• fix(menhir): sandbox infer rule

  Show description for 82df217
  rgrinberg

  committed
  82df217

  Copy full SHA for 82df217