diff options
| author |   Sebastien Douheret <sebastien.douheret@iot.bzh> | 2018-08-20 09:58:08 +0200 |
|---|---|---|
| committer | Sebastien Douheret <sebastien.douheret@iot.bzh> | 2018-08-20 09:58:08 +0200 |
| commit | 543c13fa1988565877b483ee001b4ff1c3e12a22 (patch) | |
| tree | e11bec0597b211b5bb67671adf9cf370178b702f /resources | |
| parent | 5f0b7c5fb5a40341f24ca00afaac789c614a6830 (diff) | |
Fixed GPG keyserver intermittenly failure
Workaround about issue with the particular GPG keyserver:
trying several explicit keyservers until the command succeeds
Change-Id: If0eba5e7a123ea56ee0adadeb69ab7c89301ae5c
Signed-off-by: Sebastien Douheret <sebastien.douheret@iot.bzh>
Diffstat (limited to 'resources')
0 files changed, 0 insertions, 0 deletions