diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-05-30 13:35:02 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-30 13:35:02 -0400 |
| commit | 42a3f52e983e6b37ac1f69733a9347505e061e43 (patch) | |
| tree | 51c047633f00c911b3f6d463402a0fccd60668b5 /tools/release | |
| parent | 3b69d238cdedc7f47515ba74f2366724679c5c7d (diff) | |
fix: do not show cache initialization errors if stderr is piped (#18920)
Closes #18918
Diffstat (limited to 'tools/release')
0 files changed, 0 insertions, 0 deletions