Closed mbarbin closed 10 months ago
I tried both with --dune-version=3.7 and 3.12, this yields the same formatted output.
The motivation is to make it easier to onboard changes to this file from pull requests.
I tried both with --dune-version=3.7 and 3.12, this yields the same formatted output.
The motivation is to make it easier to onboard changes to this file from pull requests.