Revision 8bc598f43685bbc7ab6649889a26e7bbd3d93a41

Committed on 15/02/2017 4:48 am by Edi Modrić <edi@netgen.hr> [GitHub Diff]

Merge remote-tracking branch 'upstream/master'