<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>I believe the problem is fixed now - at the very least, the one
      in Simon's original report is now working.<br>
    </p>
    <div class="moz-cite-prefix">On 11/01/2024 15:28, Simon Peyton Jones
      wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAJKmMz8yt=OJ_HGLmsWbm0gn2_nZy-=s=xuFc=kf6Px2mBw02g@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <div class="gmail_default" style="font-family:tahoma,sans-serif">If
          you go to <a
href="https://github.com/ghc-proposals/ghc-proposals/pull/448"
            moz-do-not-send="true" class="moz-txt-link-freetext">https://github.com/ghc-proposals/ghc-proposals/pull/448</a>,
          and click on the "rendered" link, namely <a
href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0448-type-variable-scoping.rst"
            moz-do-not-send="true" class="moz-txt-link-freetext">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0448-type-variable-scoping.rst</a>,
          Github is now displaying the .rst source, not the rendered
          proposal.</div>
        <div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
        </div>
        <div class="gmail_default" style="font-family:tahoma,sans-serif">This
          has started happening (consistently across other proposals)
          today.</div>
        <div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
        </div>
        <div class="gmail_default" style="font-family:tahoma,sans-serif">Does
          anyone know why?  How can I fix this?</div>
        <div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
        </div>
        <div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br>
        </div>
      </div>
      <br>
      <fieldset class="moz-mime-attachment-header"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
    </blockquote>
  </body>
</html>