]> git.lizzy.rs Git - rust.git/commitdiff
Merge #5357
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 14 Jul 2020 07:05:43 +0000 (07:05 +0000)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 07:05:43 +0000 (07:05 +0000)
5357: Use relaxed ordering for marks r=matklad a=matklad

We dont' need this for perf. `Relaxed` ordering is enough here, as we
only have one location. I prefer to use minimal ordering, because that
makes it easier to reason about the code.

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Trivial merge