Merge pull request #1585 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 376817869a3c828a3f342e380887e12a0bec2230
2 parents 0db141d + b2dfd93
@Sebastian Wilzbach Sebastian Wilzbach authored on 29 Oct 2018
GitHub committed on 29 Oct 2018
Showing 1 changed file
View
source/dub/version_.d