Comment 4 for bug 1185175

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

Correction: partial fix is in 729ef6d (I had to git commit --amend to fix a broken unrelated test).