Merge remote-tracking branch 'upstream/stable' into merge_stable#8564
Merged
dlang-bot merged 5 commits intodlang:masterfrom Aug 14, 2018
Merged
Merge remote-tracking branch 'upstream/stable' into merge_stable#8564dlang-bot merged 5 commits intodlang:masterfrom
dlang-bot merged 5 commits intodlang:masterfrom
Commits
Commits on Aug 13, 2018
- authored andcommitted