<div><br></div><div><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I would tend to post _after_ change has been integrated, so people who <br>
are interested could immediately check out the change.<br>
<br>
$0.02,<br>
-KenD<br>
</blockquote></div></div><div dir="auto">seems a good rule to me, i will adopt it. </div><div dir="auto"><br></div><div dir="auto">bye</div><div dir="auto">Nicola</div>