Revision f317a874646c612b5c6ec2ce617dd2cc7ab1797d

Committed on 14/03/2019 1:32 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.5'