Code

fix: allow shadowing builtins#8558

Code

Merged

rgrinberg merged 2 commits intomainocaml/dune:mainfrom ps/rr/fix__allow_shadowing_builtinsocaml/dune:ps/rr/fix__allow_shadowing_builtinsCopy head branch name to clipboardSep 14, 2023

+61-20

Commits

Commits on Sep 11, 2023

• fix: allow shadowing builtins

  Show description for 7a39a1d
  rgrinberg

  committed
  7a39a1d

Commits on Sep 14, 2023

• Merge branch 'main' into ps/rr/fix__allow_shadowing_builtins

  nojb

  authored
  a764093