<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1" style="word-wrap: break-word;">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">>Uhm... problem is no longer present for me in v0.25-pre-3238-g3b6143c... but, given that the files changed between "then" and now seem completely unrelated... I am confused :D<br>
<br>
Sorry, that was the old revision I think? Well, "the problem no longer occurs in what i pulled five minutes ago" then? (No longer in my apartment, cannot check what rev i am on now..)<br>
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<div>
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<div></div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>