diff options
| author | Feoramund <161657516+Feoramund@users.noreply.github.com> | 2025-06-04 13:59:31 -0400 |
|---|---|---|
| committer | Feoramund <161657516+Feoramund@users.noreply.github.com> | 2025-06-04 13:59:31 -0400 |
| commit | b0d050dd90561c466a800dd4b7e5bb6d6bcaa499 (patch) | |
| tree | 896b391d74e8d5ba4b01c1bd43b724f8a5eeb706 /core/encoding | |
| parent | 6804f4c4716c65f2729945de3e7b7413fb061ee1 (diff) | |
Print timings to stderr instead of stdout
This is in line with other diagnostic messages.
Fixes #4642
Diffstat (limited to 'core/encoding')
0 files changed, 0 insertions, 0 deletions