VoltDB/voltdb — pull request #865 by rmorgenstein (2013-10-13 18:05:56+00:00)
Title: Release 3.7

10/13 merge to master