On Tue, Jun 12, 2012 at 12:06 PM, MinRK <benjaminrk at gmail.com> wrote: > Indeed, and here's a PR to get > started: https://github.com/ipython/ipython/pull/1930 > > Which should not be merged until after 0.13 is done. Great, already tagged it for the 0.14 milestone. Awesome job, as always.