
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html;

      charset=windows-1252">

  </head>

  <body>

    <p>Hi Simon,</p>

    <p>I usually manage to get it to disappear by using `git submodule

      update --recursive`.<br>

      Is it a flag you've used in your previous attempts?<br>

      <br>

      Cheers,</p>

    <p>Hécate.<br>

    </p>

    <div class="moz-cite-prefix">Le 15/05/2020 à 16:24, Simon Peyton

      Jones via ghc-devs a écrit :<br>

    </div>

    <blockquote type="cite"

cite="mid:VI1PR8303MB00939BDDAE78A5BE3D7D9180ADBD0@VI1PR8303MB0093.EURPRD83.prod.outlook.com">

      <p class="MsoNormal">No amount of git submodule update makes it go

        away.  Any ideas?<o:p></o:p></p>

    </blockquote>

  </body>

</html>