Merge pull request #1279 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit f5ef973fa5e914200c20fc7de369b8c38f2fb809
2 parents 1237487 + 347bbb4
@Sönke Ludwig Sönke Ludwig authored on 6 Nov 2017
GitHub committed on 6 Nov 2017
Showing 1 changed file
View
source/dub/version_.d