Revision 344323e767dacd29706b5635fcd6fd4c7317b4aa

Committed on 02/10/2013 6:04 am by Edi Modrić <[email protected]> [GitHub Diff]

Merge branch 'origin_1.1' into github_master