Revision 67db669b7f70f172af3c5ef54bbb17fb72a762c3

Committed on 11/07/2012 5:11 am by Florian Krauthan <[email protected]> [GitHub Diff]

Fixed a bug