Merge pull request #1831 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 2e9a26acf388dcd54cdc3f4332ee4cfd9b28047a
2 parents 7336602 + e01512a
@Mathias LANG Mathias LANG authored on 22 Dec 2019
GitHub committed on 22 Dec 2019
Showing 1 changed file
View
source/dub/version_.d