diff options
author | Pascal Kuthe | 2023-06-04 15:20:04 +0000 |
---|---|---|
committer | GitHub | 2023-06-04 15:20:04 +0000 |
commit | de0ef8af15945fb7f761503c615a2d6213d2fd82 (patch) | |
tree | f36686fde846a49c982c2293d1dcbfa7062211bf /runtime | |
parent | d511122279b3b479362830305f4812f096273b6a (diff) |
fix UB in diff gutter (#7227)
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions