Merge pull request #1733 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 47828ca6bde5ce8288d448f7fdcf06e26ed5bebc
2 parents 78f74ae + f36828e
@Sebastian Wilzbach Sebastian Wilzbach authored on 31 Jul 2019
GitHub committed on 31 Jul 2019
Showing 1 changed file
View
source/dub/version_.d