<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">So the patch fixes the original bug and makes the loop less confusing.</blockquote>
</div><br>yes, thanks for clarifying that.<br><br>Or.<br></div>