Revision 0d5595862b6b607e91e1e20779b36cecb411f872

Committed on 30/04/2020 2:12 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.2' into 1.3