[IPython-dev] should we make nodb the default hub backend?

Fernando Perez fperez.net@gmail....
Tue Jun 12 14:07:35 CDT 2012


On Tue, Jun 12, 2012 at 12:06 PM, MinRK <benjaminrk@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.


More information about the IPython-dev mailing list