buttonmen-dev/buttonmen — pull request #1188 by AdmiralJota (2014-08-11 20:52:51+00:00)
Title: Restored default of 3 rounds

Resolves #1183.

http://jenkins.buttonweavers.com:8080/job/buttonmen-AdmiralJota/372/