Revision e806f7562a268b66cf74e8a2e711f996b6d33eb5

Committed on 02/11/2020 12:38 am by barw4 <bartek.rofl@gmail.com> [GitHub Diff]

Merge branch '1.2'