Comment 2 for bug 721252

Revision history for this message
Marius Gedminas (mgedmin) wrote :

After receiving some positive feedback on IRC, I committed this to trunk.

(It's not really a bugfix, so should the version number change to 3.12dev, or is it OK to leave it at 3.11.2?)