mono/mono — pull request #826 by lucasmeijer (2013-12-05 16:10:59+00:00)
Title: manual cherry pick of 8a19e2740cc500f467d737179f2d3f82b6af68d9,  use obj...

...ectid for equality and hashing

see also: https://github.com/mono/debugger-libs/pull/15