Merge pull request #1848 from Geod24/fix1474
Add a warning / workaround for issue 1474
merged-on-behalf-of: Nicholas Wilson <thewilsonator@users.noreply.github.com>
commit 3861d146133be8fc90005a6572555bffda186883
2 parents 4a2e38b + ac78581
@The Dlang Bot The Dlang Bot authored on 3 Jan 2020
GitHub committed on 3 Jan 2020
Showing 1 changed file
View
examples/generated-sources/dub.json