Merge branch '5.2'
authorMatthias Schmidt <gravatronics@live.com>
Sat, 13 Jun 2020 12:35:09 +0000 (14:35 +0200)
committerMatthias Schmidt <gravatronics@live.com>
Sat, 13 Jun 2020 12:35:09 +0000 (14:35 +0200)
commitbe7e5744b61d3bd01c7f08941fa251a9543e9e30
treedf7e780ea613cfc3f02a2e6c58972d3384e9f353
parentf527c9e64357bc11d7b2650381fc319a8bfd2840
parent7368ae04eb704c02b20b860b215cc08b62ee43c1
Merge branch '5.2'