<HTML><BODY><br>Yes, Stefan, I agree with you.<br><br>Fri, 16 May 2014 14:23:43 +0200 от Stefan Tauner <stefan.tauner@alumni.tuwien.ac.at>:<br>
<blockquote style="border-left:1px solid #0857A6; margin:10px; padding:0 0 0 10px;">
        <div id="">
        



    









        
        


        
        
        
        
        

        
        

        
        



<div class="js-helper js-readmsg-msg">
        <style type="text/css"></style>
        <div>
                <base target="_self" href="https://e.mail.ru/">
                
                        <div id="style_14002439410000000965_BODY">My patch to solve the issue is a bit different though and I think it is<br>
slightly better readable. I'd be glad if you could test/review it.<br id="style_14002439410000000965_BODY"></div></div></div></div></blockquote></BODY></HTML>