Merge pull request #600 from tr8dr/master
authorRodrigo Kumpera <kumpera@gmail.com>
Sun, 21 Jul 2013 19:21:29 +0000 (12:21 -0700)
committerRodrigo Kumpera <kumpera@gmail.com>
Sun, 21 Jul 2013 19:21:29 +0000 (12:21 -0700)
Fix for bug 9250 (critical bug for embedded mono)


Trivial merge