Hocuri ebfe917ed2 Fix tokio panic ...

This might not be needed after all because of
https://github.com/tokio-rs/tokio/pull/5710, but since I already wrote
the code, I created a PR anyway.

2023-05-23 10:38:19 +02:00

..

simple.rs

Fix tokio panic

2023-05-23 10:38:19 +02:00