Merge remote-tracking branch 'upstream/stable' into merge_stable#7471

wilzbach merged 3 commits intodlang:masterdlang/dmd:masterfrom

MartinNowak:merge_stableMartinNowak/dmd:merge_stableCopy head branch name to clipboard