Skip to content
Permalink
Browse files

update pr-downloader:

- fix repos.gz caching
- add missing {}
- more verbose error message
  • Loading branch information...
abma committed Sep 4, 2019
1 parent d493f2d commit 10d8ed6efbd448365071466c35a629629f78feeb
Showing with 1 addition and 1 deletion.
  1. +1 −1 tools/pr-downloader

0 comments on commit 10d8ed6

Please sign in to comment.
You can’t perform that action at this time.