
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=koi8-r">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<div><span>Thank you! I assumed something like this, but I couldn't find any confirmations and offered a patch as a solution.<br>

</span></div>

<div><span><br>

</span></div>

<div><span>Kind regards</span></div>

<div><span>Aleksandr.</span></div>

<div><span><br>

</span></div>

<br>

</div>

</body>

</html>