On Mon, Jun 11, 2012 at 1:02 AM, Fernando Perez <fperez.net at gmail.com> wrote: > Glad to hear that. That's an arrow I want in our quiver as we get > closer to actual release time... Just so Thomas doesn't have to worry, fixed and merged in #1907.