Merge pull request #1785 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 4a97a1513e41b6776c098a841be0f5c40640fe4a
2 parents e3af1f8 + 6ef1cf8
@Petar Kirov Petar Kirov authored on 28 Oct 2019
GitHub committed on 28 Oct 2019
Showing 1 changed file
View
source/dub/version_.d