[monitoring-plugins] Merge branch 'master' into update-po

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: fa48c3cfe1d0be363d220610640e595430792e9c
    Author: waja <waja at users.noreply.github.com>
 Committer: GitHub <noreply at github.com>
      Date: Tue Jul 11 07:34:35 2023 +0200
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=fa48c3c

Merge branch 'master' into update-po

---