diff options
author | notgne2 | 2021-12-04 17:53:10 -0700 |
---|---|---|
committer | GitHub | 2021-12-04 17:53:10 -0700 |
commit | 715e92a13018bc1745fb680b5860af0c5641026a (patch) | |
tree | 143e85fb6bb5a7b58b71533a2219631db31c3efe /shell.nix | |
parent | 9a02de4373e0ec272d08a417b269a28ac8b961b4 (diff) | |
parent | 629596964e5160a44d21e22cc59a5d80992a52ed (diff) |
Merge pull request #138 from input-output-hk/await-thread
ensure spawned thread exits before main
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions