[monitoring-plugins] coverity/master branch removed

Git Repository git at monitoring-plugins.org
Thu Feb 9 16:50:10 CET 2023


   Module: monitoring-plugins
   Branch: coverity/master
 Old SHA1: 1a964086aacce594ea73a641620ccfdc98782105

The coverity/master branch has been removed.


More information about the Commits mailing list