diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-02 19:34:29 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-02 19:34:29 +0100 |
commit | 548c18c062a9372b00b0ad0ad87bef26a6d9e82c (patch) | |
tree | b43ba7416724e4fbe68186d0d1d6a4d396e4f675 /docs/dev | |
parent | e1bef531095f152649a7e20e992cf97ba6b3f990 (diff) | |
parent | ce8c6c47626c3fee3ca49fb3aec4f2c588b3db7a (diff) |
Merge #8693
8693: Ensure that only one cache priming task can run at a time r=matklad a=Bobo1239
Fixes #8632.
Co-authored-by: Boris-Chengbiao Zhou <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions