alexeevm/voltdb — pull request #2 by paulmartel (2012-09-21 19:45:26+00:00)
Title: Eng 3217 merged

Bring eng_3217 branch up to date with VoltDB/voltdb repo master -- required a fair amount of hand edits -- compiled but not yet tested or fully reviewed.