
<html>

  <head>

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

  </head>

  <body>

<div> Hi,<br></div><div dir="auto"><br></div><div dir="auto">I just did a quick rebuild of 0.13.5. To me it looks like the bug is fixed as I can't reproduce it. <br></div><div dir="auto"><br></div><div dir="auto">Cheers<br></div><div dir="auto"><br></div><div dir="auto">Matthias</div>  </body>

</html>