Merge pull request #332 from shanew/master
authorJeff Garzik <jgarzik@exmulti.com>
Mon, 20 Jun 2011 03:04:24 +0000 (20:04 -0700)
committerJeff Garzik <jgarzik@exmulti.com>
Mon, 20 Jun 2011 03:04:24 +0000 (20:04 -0700)
Include missing Boost header


Trivial merge