merge stable#447

Merged

rainers merged 3 commits intodlang:masterfrom

MartinNowak:merge_stable

Apr 30, 2020

Commits on Apr 23, 2020

Merge remote-tracking branch 'upstream/master' into stable
MartinNowak
committed

Commits on Apr 28, 2020

pass HOST_DC and HOST_DMD to workaround repo differences
MartinNowak
committed

Commits on Apr 29, 2020

Merge remote-tracking branch 'upstream/stable' into merge_stable
MartinNowak
committed