Skip to content

Preserve comments around object open/close flag#2097

Merged
gpetiot merged 3 commits intoocaml-ppx:mainfrom gpetiot:obj-closed-flagMay 31, 2022

Commits

Commits on May 31, 2022