Merge branch 'master' into fix-delete-base-folders-instr
authorDominique Fuchs <32204802+DominiqueFuchs@users.noreply.github.com>
Thu, 9 Jul 2020 19:38:11 +0000 (21:38 +0200)
committerGitHub <noreply@github.com>
Thu, 9 Jul 2020 19:38:11 +0000 (21:38 +0200)
commit8deb38ac24c56654be53dff7cf6aaeb814e59a30
treee626a0ce025b883f4af9fbdbcf8f2c368cd2a2b7
parentd47e570ff3562b9d5d5e9178269b297775626746
parent3ccac1b1beab1e3d8416380f170fe575bf06b192
Merge branch 'master' into fix-delete-base-folders-instr