Revision c11498e3c64fe8d244b47ef847aaf8fdecea4afa

Committed on 26/02/2014 9:14 am by Edi Modrić <edi@netgen.hr> [GitHub Diff]

Merge branch 'master' into github_master