Build: remove -O3 from dune file
dune runs with release profile when using -p, but -O3 fails, thus removing it from dune file.
-
has a changelog entry
Edited by E. Rivas
dune runs with release profile when using -p, but -O3 fails, thus removing it from dune file.