diff options
| author | Marc Hoersken <info@marc-hoersken.de> | 2020-03-02 13:56:36 +0100 |
|---|---|---|
| committer | Marc Hoersken <info@marc-hoersken.de> | 2020-03-02 13:56:36 +0100 |
| commit | 8ef1f55ad8743691aa42a5d7ad18e8a9c8083fd1 (patch) | |
| tree | 122a55142071903ffa69fa8836e11ac6eb768e16 /docs/BUGS | |
| parent | 967bf4633ab164fc0da1876428af9386f18659af (diff) | |
ci/tests: fine-tune Azure Pipeline timeouts with a small puffer
Diffstat (limited to 'docs/BUGS')
0 files changed, 0 insertions, 0 deletions