<div dir="ltr">In general, it looks fine, but I want to review this in more detail.<div><br></div><div>I'll add it to my list.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 30, 2014 at 4:46 PM, Alexander K√∂plinger <span dir="ltr"><<a href="mailto:alex.koeplinger@outlook.com" target="_blank">alex.koeplinger@outlook.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This PR (<a href="https://github.com/mono/mono/pull/1081" target="_blank">https://github.com/mono/mono/pull/1081</a>) has been sitting in the queue for some time. @kumpera already gave his +1 to the patch, so I think we could merge it?<br>
<br>
<br>
-- Alex<br>
_______________________________________________<br>
Mono-devel-list mailing list<br>
<a href="mailto:Mono-devel-list@lists.ximian.com">Mono-devel-list@lists.ximian.com</a><br>
<a href="http://lists.ximian.com/mailman/listinfo/mono-devel-list" target="_blank">http://lists.ximian.com/mailman/listinfo/mono-devel-list</a><br>
</blockquote></div><br></div>