Skip to content

Commit

Permalink
update submodule pr-downloader
Browse files Browse the repository at this point in the history
Build fix needed for users of curl 7.50.0, e.g. archlinux users.
  • Loading branch information
Johan Rehnberg committed Jul 27, 2016
1 parent 8b0bc9b commit d249d5d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/pr-downloader

0 comments on commit d249d5d

Please sign in to comment.