Merge pull request #1496 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 765cf8ea8bec9b8da05e41e4987f1b37f02305bc
2 parents 0ddbdb1 + edbc016
@Sebastian Wilzbach Sebastian Wilzbach authored on 25 Jun 2018
GitHub committed on 25 Jun 2018
Showing 1 changed file
View
source/dub/version_.d