<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Oct 24, 2013 at 7:51 AM, Matthew Mondor <span dir="ltr"><<a href="mailto:mm_lists@pulsar-zone.net" target="_blank">mm_lists@pulsar-zone.net</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid">Please review this diff, which basically makes two changes:</blockquote>

<div> </div><div>I have reviewed it and it looks ok, except for the (the fixnum ...) coercions which should not be necessary. In any case I will commit it as it is.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid">


Since WITH-LOCK is a macro that's called rather often in MP code, this<br>
provides some performance improvement with a few tests I've ran.</blockquote><div> </div><div>I believe there are many places where such improvements will make a difference. </div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid">


One thing also, is that I currently have various custom changes in my<br>
tree which I wouldn't want to necessarily push to the official<br>
repository (at least not immediately).  I began reading the progit book<br>
so eventually I should know better what I'm doing with GIT, hopefully.</blockquote><div> </div><div>GIT can be daunting to use, but it is quite flexible. I believe it should be easier for you to track those changes using git than with cvs.</div>

<div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid">
As such, feel free to commit the change if you have commit access and<br>
like the diff.</blockquote><div> </div><div>It is already in, but you also do have commit permissions and could've done it.</div><div> </div><div>BTW, it would be more useful to get a patch (as in git format-patch) with the commit message and your signature.</div>

<div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid">
It's also unclear to me if we should use this list for reviews in<br>
general before commiting changes, but it's the policy of some projects<br>
I've participated in; the opinion of others (especially the main<br>
maintainer) on this would be good to have.<br></blockquote></div>Note that this is what I suggested.<br><br clear="all"><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a>
</div></div>