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)
removed obsolete boost workaround (boost ticket #4258)


Trivial merge