<br><br><div class="gmail_quote">On Sat, Dec 10, 2011 at 16:40, Thomas Kluyver <span dir="ltr"><<a href="mailto:takowl@gmail.com">takowl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="gmail_quote">Commenting on a couple of my own PRs:<div class="im"><br><br>On 11 December 2011 00:02, MinRK <span dir="ltr"><<a href="mailto:benjaminrk@gmail.com" target="_blank">benjaminrk@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div><div>1073 (storemagic/default extensions):</div><div>    Proposes extra work to move extensions to Shell from App.  I suggest letting the extra work wait until after release, and merge this one as-is.</div></div></blockquote>



</div><div><br>That sounds fine to me. I'd like to add extensions to the shell so they can be used for more default functionality (anything in the app isn't used when IPython is embedded), but it's not a big deal at the moment.<br>



 </div><div class="im"><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>

</div>1129 (unified setup.py):<div><div>    Looks perfectly fine to me, but I am wary of a significant change to setup.py immediately before release.  I would let this one slide, and merge immediately after release.</div>



</div></blockquote></div><div><br>Not a problem, but in that case I'd like to get a simpler fix for #1119 (start menu shortcuts in Python 3) into 0.12. I'll try to do a PR soon.<br></div></div></blockquote><div><br>

</div><div>Since the Start Menu shortcuts are for the Windows .exe installer only (right?), I'm fine simply leaving them out of this release.  I don't think they are particularly important to more advanced users, which I think is a superset of those running Python 3.</div>

<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="gmail_quote"><div><br>Thanks,<br><font color="#888888">Thomas <br></font></div></div>

<br>
</blockquote></div><br>