Revision 09c56810ab657654e13b6dc95ad6464153b229d8

Committed on 05/05/2021 5:14 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '0.12' into 0.13