diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-23 16:24:59 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-23 16:24:59 +0200 |
| commit | bcb2d98fc0a3f4435d5b256b5e6b8926c6b34365 (patch) | |
| tree | 7653c9d4d8d1fac8a77a2fb874f217ca944a81e4 /tests | |
| parent | b1ab990471b022613abdde712fa26c963c6bb659 (diff) | |
| parent | d5e4558f1807a99a10636efcc1ff6ec514b07d56 (diff) | |
Merge pull request #4704 from bugadani/docs
Executor: Fix safety requirement in `poll` docs
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions