Merge remote-tracking branch 'upstream/stable' into merge_stable
commit d04dbc41bceca00b3940f29d67066a9407d19f24
2 parents 0bf3573 + ecf92b0
@Martin Nowak Martin Nowak authored on 11 May 2020
Showing 3 changed files
View
changelog/ignoreHiddenDirectories.dd 100644 → 0
View
changelog/lintReportFile.dd 100644 → 0
View
source/dub/version_.d