Comment 8 for bug 938431

Revision history for this message
Craig Ringer (ringerc) wrote :

This issue appears to be resolved in the *real* current git master, so this bug can be closed. Now it's just a matter of getting rid of or updating that mirror.