From: Miguel de Icaza <miguel@gnome.org>
Date: Wed, 23 Sep 2015 18:42:05 +0000 (-0400)
Subject: Merge pull request #704 from jgagnon/master
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=22448831bbcc3d170f80ae5e3cc02fccd39ff970

Merge pull request #704 from jgagnon/master

Fix for #4938.
---

22448831bbcc3d170f80ae5e3cc02fccd39ff970