
<html>

<head>

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

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

</head>

<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">

<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>Oh, I meant to suggest you should make the change before committing, but not wait for another round of review if it seemed >simple/obvious enough (& we'd handle anything in post-commit review - unless

 in trying to implement it it seemed >nonobvious/more complicated than might be expected, etc).</span></p>

<div style="color: rgb(33, 33, 33);">

<div>

<div dir="ltr">

<div class="gmail_quote">

<div>  <br>

</div>

Sorry then, I misunderstood. <br>

</div>

<div class="gmail_quote">I'll post patch in next 30 minutes, so it should not be a big problem hopefully.<br>

</div>

<div class="gmail_quote"><br>

</div>

<div class="gmail_quote">George.<br>

</div>

</div>

</div>

</div>

</body>

</html>