diff options
| author | Dario Nieuwenhuis <[email protected]> | 2020-10-31 22:36:45 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2020-10-31 22:36:45 +0100 |
| commit | 76196c424a762ac053c89a9e25652fe975f4d458 (patch) | |
| tree | ed4922f9cdaf9fe92c033d19644882e51da63429 /.github/workflows | |
| parent | 9dea5035b9047a00a31615f897dabd2e538a5019 (diff) | |
Make Executor non-Send to close run() safety hole.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions