diff options
| author | Michał Górny <mgorny@gentoo.org> | 2018-03-16 12:27:49 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-03-16 12:27:49 +0100 |
| commit | d6fad11753056c1cd2149afc9be458bd3b6e8593 (patch) | |
| tree | 459b97a6002c0a7142b46d48eb14afc7ce07be0a /utils/gen_fast_metamanifest.py | |
| parent | 6dff07c2f93212d50c3bb4471e2ce5d18d63a54a (diff) | |
| download | gemato-d6fad11753056c1cd2149afc9be458bd3b6e8593.tar.gz | |
openpgp: Honor user's http_proxy setting
Solution suggested by Patrik Osgnach.
Bug: https://bugs.gentoo.org/649642
Diffstat (limited to 'utils/gen_fast_metamanifest.py')
0 files changed, 0 insertions, 0 deletions