[monitoring-plugins] Merge pull request #2009 from waja/post_release

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 4ab154d5c3640d7f2cc3180d2f05ac688be7a11b
    Author: waja <waja at users.noreply.github.com>
 Committer: GitHub <noreply at github.com>
      Date: Thu Jul 25 15:33:32 2024 +0200
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=4ab154d

Merge pull request #2009 from waja/post_release

Post release changes

---