Merge pull request #1493 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 0ddbdb1c51bdf1970835a11a67430ea71f0c6387
2 parents cc9ff7a + 6d5c25a
@Sebastian Wilzbach Sebastian Wilzbach authored on 17 Jun 2018
GitHub committed on 17 Jun 2018
Showing 1 changed file
View
source/dub/version_.d