diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-17 16:37:37 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-09-17 16:37:37 +0100 |
commit | 086f1c4b3025b405fde077df3319551140136131 (patch) | |
tree | 43faa696a399d224fb2975cc4df65e5dfc7d87f9 /docs/user | |
parent | 7af7e1f25322b723fbaf0b2477b2b0716905f619 (diff) | |
parent | d328ee647f551e8616e7716b574343fab8f9e8d2 (diff) |
Merge #6025
6025: Use `log::error!` in a few more places r=jonas-schievink a=jonas-schievink
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions