Comment 5 for bug 934374

Revision history for this message
Thomas Kluyver (takluyver) wrote :

We've reluctantly decided we're not going to be able to make 0.13 in time for the end of the month. We'd like to do a 0.12.1 bugfix release instead - I don't know what the procedure is to get that in?

Thanks to everyone for arranging this, and sorry we're not able to make use of the exception.