diff options
author | Lucio Franco <luciofranco14@gmail.com> | 2020-09-24 13:31:49 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-24 13:31:49 -0400 |
commit | 4dfbdbff7e260eb7f046a8dc91ec0c84ae7ab2e8 (patch) | |
tree | b9d06a17d8450f26d8cad8b9068a1ef7a981fafb /.github | |
parent | c29f13b7a5cc68fa2dfe52991d8b7497b2497725 (diff) |
rt: Allow concurrent `Shell:block_on` calls (#2868)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions