mirage/mirage: PR #1313: revise flags for dune file: remove -safe-string, remove custom warnings

@c7b9089

23/03/2022 13:58

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (3m50s)
❌ arm64-debian-10-4.13 (17s)

History:

23/03/2022 13:58 ❌ @c7b9089 (3m50s)