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

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: a5ba424f85153b1ddaaf5e5269c82f0f049828d0
    Author: Lorenz Kästle <12514511+rincewinds...@users.noreply.github.com>
 Committer: GitHub <nore...@github.com>
      Date: Wed Sep 20 08:16:11 2023 +0200
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=a5ba424

Merge branch 'master' into master

---