]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #94033 - joshtriplett:documentation-is-running-better-go-catch-it...
authorYuki Okushi <jtitor@2k36.org>
Tue, 21 Jun 2022 11:08:07 +0000 (20:08 +0900)
committerGitHub <noreply@github.com>
Tue, 21 Jun 2022 11:08:07 +0000 (20:08 +0900)
Improve docs for `is_running` to explain use case


Trivial merge