15 May
2020
15 May
'20
10:30 a.m.
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?