Strange library git glitch

Hécate hecate at
Fri May 15 14:30:38 UTC 2020

Hi Simon,

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



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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list