diff options
author | Pascal Kuthe | 2022-12-05 13:18:42 +0000 |
---|---|---|
committer | GitHub | 2022-12-05 13:18:42 +0000 |
commit | 1e31bc3f77040d4a3663b8b6bf72d8d3a632b88a (patch) | |
tree | 168b9268dd692130e3a299d16136986def745e5c /book/theme | |
parent | 03ca18b377c1dfd78e8ff6bfac6d418de237923b (diff) |
Reduce log message about diff timeout from warn to info (#5012)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions