
<!DOCTYPE html>

<html>

  <head>


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

  </head>

  <body>

    <font face="tt">This bug is fixed upstream with commit

      741491539b129e4ecc7ffceb38ffc945177a7cf6 which is contained in the

      latest version 1.7.0.<br>

    </font>

  </body>

</html>