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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions