<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Dec 11, 2019 at 1:56 PM Tobias Pape <<a href="mailto:notifications@github.com">notifications@github.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"> <p>Looks good to me. Anyone else having a look?</p></blockquote><div><br></div><div>I don't see anything problematic.  Integrate?</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">

<p style="font-size:small;color:rgb(102,102,102)">—<br>You are receiving this because you are subscribed to this thread.<br>Reply to this email directly, <a href="https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/451?email_source=notifications&email_token=AIJPEW23V5BJRL3YZK6CWXLQYFOXNA5CNFSM4JYGZGYKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEGUWUKQ#issuecomment-564750890" target="_blank">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AIJPEWZRBHOIIHUR6OE3FDDQYFOXNANCNFSM4JYGZGYA" target="_blank">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AIJPEW75TSRE5QCG7HNKLGLQYFOXNA5CNFSM4JYGZGYKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEGUWUKQ.gif" height="1" width="1" alt=""></p>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div></div>