diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-24 10:10:05 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-11-24 10:10:05 +0000 |
commit | 2d2615db159a0112cfc20aac16e6d658bd9f32a3 (patch) | |
tree | b8722c97d706ff709801256c52f0c29d3789bdbe /docs/dev/debugging.md | |
parent | 6294286fee6e53c29e8ad563f476721ad85ef266 (diff) | |
parent | 8af1ed6a09642d77a30aa90bf4f8958ed94f02c6 (diff) |
Merge #6617
6617: Avoid string allocations in ignore_test r=lnicola a=lnicola
CC @jakobhellermann
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions