[monitoring-plugins] coverity/maint branch removed

Git Repository git at monitoring-plugins.org
Thu Oct 8 13:00:12 CEST 2015


   Module: monitoring-plugins
   Branch: coverity/maint
 Old SHA1: 5a9ca0590f847ef96421912bd2562292580a7d7c

The coverity/maint branch has been removed.


More information about the Commits mailing list