Revision da61c1f9b4301f04806edc7d19139b33545f67a7

Committed on 02/04/2014 2:01 am by Edi Modrić <edi@netgen.hr> [GitHub Diff]

Merge branch 'master' into github_master