diff options
| author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-03-12 13:16:35 (GMT) |
|---|---|---|
| committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-04-17 22:13:24 (GMT) |
| commit | 6c78f0b5ea82a4bea71ae2024f27d3916175a7a2 (patch) | |
| tree | c8a70477926d3d919c6938b851fb81169ab930f4 /.github | |
| parent | cee364f219ed73c75a4c4bfb5ac148b8a721780c (diff) | |
| download | monitoring-plugins-6c78f0b5ea82a4bea71ae2024f27d3916175a7a2.tar.gz | |
Fixes for -Wunusedrefs/pull/1866/head
* lib/utils_base.c
* plugins/check_curl.c
* plugins-root/check_dhcp.c
Removed a line which theoretically can not do anything, but there was
comment which indicated something else. Still trying this though.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions