diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-11-25 13:55:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-25 13:55:03 +0100 |
| commit | 1f7584d24c9e50207d74de26be0771d8377ed695 (patch) | |
| tree | 76bf2cc9b737d722d276f8188cf481e5e01a3e56 /flake.nix | |
| parent | d58f149140582330bc994d215e54b2a4fc1149ff (diff) | |
| parent | 2970ca18bf36c02860396f83f6c9d1c06414eea5 (diff) | |
Merge pull request #5644 from tweag/fix-interrupted-data-race
Fix a minor data race with _isInterrupted
Diffstat (limited to 'flake.nix')
0 files changed, 0 insertions, 0 deletions