Merge pull request #1529 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 1ca0ad263bb364f66f71642152420dd1dce43ce2
2 parents 520d527 + e6f2ee0
@Sebastian Wilzbach Sebastian Wilzbach authored on 20 Aug 2018
GitHub committed on 20 Aug 2018
Showing 1 changed file
View
source/dub/version_.d