Merge branch 'master' into patch-1
authorMichael Schuster <48932272+misch7@users.noreply.github.com>
Wed, 17 Jun 2020 15:35:07 +0000 (17:35 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Jun 2020 15:35:07 +0000 (17:35 +0200)
commitbb78789300e1d9b822a591b74473c02a028d88f1
tree74e73de6bcd9b56f4ae0f24c8c713e2aeb866f33
parent299749681da40ebadca4715b4eb08b3db5da287d
parentafac668d9c877ff4e60df484f1d5752e22450e23
Merge branch 'master' into patch-1