[monitoring-plugins] Merge branch 'master' into feature_check_curl

[Andreas Baumann]

 Module: monitoring-plugins
 Branch: feature_check_curl
 Commit: adb958849491ea7e0bba4a15896ebd41a0fbff2d
 Author: Andreas Baumann <m...@andreasbaumann.cc>
   Date: Thu Jan  9 14:54:12 2020 +0100
    URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=adb9588

Merge branch 'master' into feature_check_curl

---