VoltDB/voltdb — pull request #608 by jhugg (2013-07-09 13:50:01+00:00)
Title: Boost153 to Core-team

Paul gave the ok to merge this now and provided some review suggestions I'll get to tomorrow or later today.