mono/debugger-libs — pull request #16 by lucasmeijer (2013-12-10 13:28:03+00:00)
Title: proper fix for debugger domain bug

based on Lluis' feedback on https://github.com/mono/debugger-libs/pull/13