Ah, that explains it. I will push my fix shortly.
Please note that even though that commit was authored on May 12, it only went into master with https://github.com/mono/mono/pull/1929 about 9 hours ago.
_______________________________________________ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list
