
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<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:10pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<div dir="auto">

<p style="margin-top:0; margin-bottom:0">Sounds good to me, easy enough for me to test here. And I'll count that as a review.</p>

<p style="margin-top:0; margin-bottom:0"><br>

</p>

<p style="margin-top:0; margin-bottom:0">I've given it a try in rC<span>352956</span>. We can see how that bot feels about it.</p>

<p style="margin-top:0; margin-bottom:0"><br>

</p>

<p style="margin-top:0; margin-bottom:0">Dave</p>

</div>

<div dir="auto"><br>

</div>

<div dir="auto">> Dave,

<div dir="auto">> <br>

</div>

<div dir="auto">> The idea to check explicitly the triple inside the test function is quite convincing. Will you try to fix it that way? Or if it can wait a bit, this will be my first thing to do on Monday.</div>

<div dir="auto">> <br>

</div>

<div dir="auto">> Gábor <br>

</div>

</div>

</div>

</body>

</html>