Commit 58c93bf0 authored by Ondřej Surý's avatar Ondřej Surý

Merge branch...

Merge branch '1428-possible-data-race-in-rbtdb-happens-occasionally-on-ppc64le-v9_14-v9_11' into 'v9_11'

Resolve "Possible data race in rbtdb, happens occasionally on ppc64le"

See merge request !3037
parents 4e739538 f71a8d11
Pipeline #33681 passed with stages
in 1 minute and 28 seconds