diff options
| author | liamwhite <liamwhite@users.noreply.github.com> | 2023-07-06 18:57:07 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-06 18:57:07 -0400 |
| commit | 95c5b715b18174d4dedaa415004e99040d5f71ef (patch) | |
| tree | 2dbfacffcfea5df73e77c149c62b63a72f850334 /.ci/scripts/merge/check-label-presence.py | |
| parent | 8bf46f48f80fce7bcc7337b100a845563fabc1d8 (diff) | |
| parent | 4c84bce171915f0f95b6269ed21f58667831ccdf (diff) | |
Merge pull request #11031 from german77/zero
input_common: Avoid potential division by zero
Diffstat (limited to '.ci/scripts/merge/check-label-presence.py')
0 files changed, 0 insertions, 0 deletions