worldcoinproject/Worldcoin — pull request #2 by worldcoinproject (2013-08-12 21:52:59+00:00)
Title: Merging Dev 6.4.0 into master

Merging patch v6.4.0 on aug 12, 2013 into master branch