Comment # 10 on bug 104143 from
Gert, should we close this considering the patch (fix?) has landed?


You are receiving this mail because: