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

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 269718094177fb8a7e3d3005d1310495009fe8c4
    Author: Lorenz <12514511+RincewindsHat at users.noreply.github.com>
 Committer: GitHub <noreply at github.com>
      Date: Sat Mar  4 21:03:27 2023 +0100
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=2697180

Merge pull request #1807 from RincewindsHat/check_icmp_cleanup

check_icmp: cleanup

---