diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-13 11:13:56 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-13 11:13:56 +0100 |
| commit | e29a4c36c7135820929e741ed40192648556aca6 (patch) | |
| tree | 020b9667f0f723b06ee7fb6948efaa9e6b135f68 /editors/code | |
| parent | adbee621a75f47e0da4f30d7205dfce009138865 (diff) | |
| parent | 546be18e3a91e4844b0dacc76c9f055397b6d89e (diff) | |
Merge #9243
9243: internal: check that coverage marks are always paired r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions