ppcoin/ppcoin — pull request #23 by vpereira (2013-11-20 20:56:14+00:00)
Title: merged changes from bitcoin 0.7.2 branch, commit 65cee0b

merging some changes from bitcoin branch 0.7.2 to ppcoin branch. automatic merge is almost impossible.