Merge pull request #2133 from tnull/2023-03-pin-syn
authorWilmer Paulino <9447167+wpaulino@users.noreply.github.com>
Tue, 28 Mar 2023 17:16:39 +0000 (10:16 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Mar 2023 17:16:39 +0000 (10:16 -0700)
Pin`tokio` to fix CI


Trivial merge