[monitoring-plugins] Merge pull request #107 from ...

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: f39211c26408af582121f519d89c8abf70e6d437
    Author: waja <waja at users.noreply.github.com>
 Committer: GitHub <noreply at github.com>
      Date: Mon Jul 24 17:35:04 2023 +0200
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=f39211c

Merge pull request #107 from monitoring-plugins/master

[pull] master from monitoring-plugins:master

---