[monitoring-plugins] Merge pull request #1946 from waja/2.3.5

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 5b29a86e3a31405f3070a82f81b171068576015e
    Author: waja <w...@users.noreply.github.com>
 Committer: GitHub <nore...@github.com>
      Date: Wed Oct 18 11:35:48 2023 +0200
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=5b29a86

Merge pull request #1946 from waja/2.3.5

Release 2.3.5

---