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.
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.