On 10/08/13 10:40, "Andrés G. Aragoneses" wrote: >... > I have a patch that fixes it, which I proposed in a pull request: > https://github.com/mono/mono/pull/725 . Wrong URL, I meant this one: https://github.com/mono/mono/pull/643