diff options
| author |   Sebastien Douheret <sebastien.douheret@iot.bzh> | 2018-08-20 09:47:44 +0200 |
|---|---|---|
| committer | Sebastien Douheret <sebastien.douheret@iot.bzh> | 2018-08-20 09:48:55 +0200 |
| commit | 8e18650d881cbf3d7016e10442e34096d7cca127 (patch) | |
| tree | 96ccf4db864f8b21195e9438795a1795437d8c24 /.vscode/launch.json | |
| parent | bb34a059939273ef71fa067feff357a6278820e2 (diff) | |
Fixed GPG keyserver intermittenly failure
Workaround about issue with the particular GPG keyserver:
trying several explicit keyservers until the command succeeds
Change-Id: I7410c07e25d25006c9252b97036c3b33ca183ae6
Signed-off-by: Sebastien Douheret <sebastien.douheret@iot.bzh>
Diffstat (limited to '.vscode/launch.json')
0 files changed, 0 insertions, 0 deletions