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 _______________________________________________ Mono-list maillist - Mono-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-list