diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-31 11:16:01 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-31 11:16:01 +0200 |
| commit | 8c2c3ec8abbc89a708c617f99191645f95c64e78 (patch) | |
| tree | bd6c959a461674280b749d7457c2ddb88782eff5 /bin/get-package-updates | |
| parent | cf8b959ce1cfeb8028ecd2e1b6b46c02256484f0 (diff) | |
| download | builder-8c2c3ec8abbc89a708c617f99191645f95c64e78.tar.xz | |
bin/build-packages: handle busy build server in case of tried error report
Diffstat (limited to 'bin/get-package-updates')
0 files changed, 0 insertions, 0 deletions