[monitoring-plugins] Merge branch 'master' into gnulib_update_2023

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 5a50b260ee94df89f2e328affa93983bb0caff57
    Author: Lorenz <12514511+rincewinds...@users.noreply.github.com>
 Committer: GitHub <nore...@github.com>
      Date: Mon Feb  6 18:51:40 2023 +0100
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=5a50b26

Merge branch 'master' into gnulib_update_2023

---