Revision 7c5d7a19f53041463204a1a0d34cdd7c0f4275cc

Committed on 11/11/2013 7:51 am by Edi Modrić <[email protected]> [GitHub Diff]

Merge branch 'master' into github_master