diff options
| author | Lorenz <12514511+RincewindsHat@users.noreply.github.com> | 2023-02-10 11:43:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-10 11:43:20 +0100 |
| commit | c07206f2ccc2356aa74bc6813a94c2190017d44e (patch) | |
| tree | 1677e5fdca5c3ce544e92c5484e16a0b68df1cc9 /lib/extra_opts.c | |
| parent | e92046f810658016b7c373677efefda3b21400e4 (diff) | |
| parent | d2fcf49ad4afc15f37d082d7bc96a808369ec2d4 (diff) | |
| download | monitoring-plugins-c07206f2ccc2356aa74bc6813a94c2190017d44e.tar.gz | |
Merge pull request #1832 from RincewindsHat/gnulib_update_2023
Gnulib update 2023 and attendant fixes
Diffstat (limited to 'lib/extra_opts.c')
0 files changed, 0 insertions, 0 deletions