Commit 5da43678 authored by Praetorius, Simon's avatar Praetorius, Simon

cleanup and workaround of dune-typetree problems

parent 84334e43
Pipeline #958 failed with stage
in 1 minute and 4 seconds