Hi Simon,

I usually manage to get it to disappear by using `git submodule update --recursive`.
Is it a flag you've used in your previous attempts?

Cheers,

Hécate.

Le 15/05/2020 à 16:24, Simon Peyton Jones via ghc-devs a écrit :

No amount of git submodule update makes it go away. Any ideas?