The last bits in dune-common were removed in dune-common!719 (merged).
Pipeline #27280 passed
Pipeline passed for 1a4f061e on ansgar:am2cmake 4 years ago
Pipeline #27282 passed
Pipeline passed for ad3ea832 on master 4 years ago
enabled an automatic merge when the pipeline for 1a4f061e succeeds
merged
mentioned in commit ad3ea832