Revision c2bc6be7b74f1dec89657e563409d98bebcbfcd4

Committed on 15/01/2020 4:49 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.0' into 1.1