<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <font face="Helvetica, Arial, sans-serif">(forgot to use the -done
      address)<br>
      Hi,<br>
      <br>
      3.12 is now in testing (but this bug wasn't closed in the
      changelog). So tagging it as fixed.<br>
      <br>
      Cheers,<br>
      <br>
      -- <br>
      Clément (nodens)<br>
      <br>
    </font>
  </body>
</html>