diff options
| author | Emilio Jesus Gallego Arias | 2019-04-04 00:09:10 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-04 00:09:10 +0200 |
| commit | 2af2ea43c199177efe64678506e4fe419ea17404 (patch) | |
| tree | 2c6aa80ad8a9c8f2da4c803da89b3e6742d3887f /dev/ci/ci-common.sh | |
| parent | f72de71c43f09554001bbe5808518171a68af335 (diff) | |
| parent | f374b79e08e135de11def93005110a833686c5f7 (diff) | |
Merge PR #9881: Protect some I/O routines from SIGALRM
Ack-by: SkySkimmer
Reviewed-by: ejgallego
Ack-by: maximedenes
Diffstat (limited to 'dev/ci/ci-common.sh')
0 files changed, 0 insertions, 0 deletions