VoltDB/voltdb — pull request #436 by mikeismert (2013-03-23 02:58:44+00:00)
Title: Eng4278

too lazy to merge at command line. already r=rbetts.