diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-02-22 23:12:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-22 23:12:29 +0100 |
commit | afb55f36df5e65007cb30798242ceb402f0572a4 (patch) | |
tree | e83c9a7edf9379350b87bc0ccc8f6ea904786ce4 /doc/manual/redirects.js | |
parent | 2a6a7aad3f16e76783641d67e2ea58ebe3f35d77 (diff) |
Fix bad_format_string error when builder stdout contains % (#10063)
(cherry picked from commit e2b6821ca0147f36bcb9404aab080f80746984c8)
Co-authored-by: roblabla <unfiltered@roblab.la>
Diffstat (limited to 'doc/manual/redirects.js')
0 files changed, 0 insertions, 0 deletions