Merge pull request #1753 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit d70b4bac7371f0aa69050bfa21d6e5a2379ba43c
2 parents 47828ca + 8a2ebc6
@Martin Nowak Martin Nowak authored on 16 Aug 2019
GitHub committed on 16 Aug 2019
Showing 1 changed file
View
source/dub/version_.d