[mono-config] Apply fix from Bernhard Urban
authorMiguel de Icaza <miguel@gnome.org>
Thu, 23 Jul 2015 22:11:56 +0000 (17:11 -0500)
committerMiguel de Icaza <miguel@gnome.org>
Thu, 23 Jul 2015 22:11:56 +0000 (17:11 -0500)
commite6de431a544495c0d016ff12a7df90bfeb014cd3
tree90c4985fd16221f4d0a6379e41e46fde9dbd819f
parentd370e923a98b0cfd7754216882baaac218205f0a
[mono-config] Apply fix from Bernhard Urban
mono/metadata/mono-config.c