VoltDB/voltdb — pull request #832 by rmorgenstein (2013-10-01 20:25:46+00:00)
Title: Merge release-3.7 to master

10/01/2013 merge