-
Gautier HATTENBERGER authored
For unknown reason, log plotter is crashing with ubuntu 20.04, but seems to work when the ocaml tools are compiled with debug flag. This should not slow down execution but produce bigger code. A proper fix or replacement should still be found to this issue. see #2621
fbf19a8f