mono/mono — pull request #738 by strawd (2013-08-19 19:51:30+00:00)
Title: Fix for #14077. HashSet no longer grows in capacity on deserialize

Not all necessary members were being initialized during deserialization