VoltDB/voltdb — pull request #357 by jhugg (2013-01-28 04:55:34+00:00)
Title: ENG-4224: Quick fix for an dumb warning when dropping duplicate indexes.

Tested manually using the voter schema.