[monitoring-plugins] Merge pull request #2136 from waja/ci_dispatch

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 04fa8ae9e201af3dfd01aab12e4a403f8e211865
    Author: waja <waja at users.noreply.github.com>
 Committer: GitHub <noreply at github.com>
      Date: Wed Jul 23 15:43:59 2025 +0200
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=04fa8ae9

Merge pull request #2136 from waja/ci_dispatch


---