
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body bgcolor="#FFFFFF" text="#333333">

    <p><font face="Arial">Hi all,</font></p>

    <p>Tried to open a PR on GitHub, but there's no option to do so.</p>

    <p>Searched around a bit, and one place said that when adding a new

      commen - it would come up an option to also reopen it. But, it

      didn't.</p>

    <p>Any ideas?</p>

    <p>  · Eric<br>

    </p>

  </body>

</html>