Merge pull request #1758 from TheBlueMatt/2022-10-fix-pre-notified-future
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Fri, 7 Oct 2022 17:38:50 +0000 (17:38 +0000)
committerGitHub <noreply@github.com>
Fri, 7 Oct 2022 17:38:50 +0000 (17:38 +0000)
Fix (and test) `Future` creation after a `Notifier` was notified


Trivial merge