diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-05-22 16:01:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 16:01:00 +0200 |
| commit | f9e45114b9c423b72e9c44c4a8aef90f5c3b44d6 (patch) | |
| tree | b8e4c4f8586b116f1a1bb04cd10ceb6e2cd1cdeb /tools/lint.py | |
| parent | ee710994925e8840ea387e1853d9c15f3eb73149 (diff) | |
fix: redirects handling in module analysis (#5726)
This commit fixes a bug introduced in #5029 that caused bad
handling of redirects during module analysis.
Also ensured that duplicate modules are not downloaded.
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions