Le 13 octobre 2020 11:41:32 GMT-04:00, zimoun <zimon.touto...@gmail.com> a
écrit :
>On Tue, 13 Oct 2020 at 17:29, Julien Lepiller <jul...@lepiller.eu>
>wrote:
>
>> Yes, the differences look very similar between these two issues. I've
>posted a bug report at https://github.com/ocaml/dune/issues/3863.
>Hopefully this will result in a good fix. As a workaround, building
>with one thread seems to be effective, but we need to change the
>dune-build-system for that.
>
>Which means core-updates, right?
We don't have more than 300 dependents, so I think it should be master.
