Merge pull request #1539 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 38fe15b527a3b5213f80c9e8276856c73507a362
2 parents 5afebe5 + c53660e
@Petar Kirov Petar Kirov authored on 24 Aug 2018
GitHub committed on 24 Aug 2018
Showing 1 changed file
View
source/dub/version_.d