I don't know how to reopen a merged pull request. You can get the update [from my fork](https://github.com/pdonald/mono/commit/968bd18462d85cefa29856ac72706a2336dd5317).