Merge pull request #1043 from Diapolo/misc
authorGavin Andresen <gavinandresen@gmail.com>
Thu, 5 Apr 2012 14:36:23 +0000 (07:36 -0700)
committerGavin Andresen <gavinandresen@gmail.com>
Thu, 5 Apr 2012 14:36:23 +0000 (07:36 -0700)
commit399ff1fe05aba8bdde092144eb524198a810f3ac
tree3871513bd692ce9e050ac7fd543893d093d617d2
parent895c12943b1845411fb0282c17683c7b29a61459
parent7f10522c4316abb9d7dc6c97e48436a22b1a19a1
Merge pull request #1043 from Diapolo/misc

removed obsolete boost workaround (boost ticket #4258)