diff options
| author | Sven Nierlein <sven@nierlein.de> | 2020-12-08 15:24:10 (GMT) |
|---|---|---|
| committer | Sven Nierlein <sven@nierlein.de> | 2020-12-08 15:24:10 (GMT) |
| commit | aa79ab278ffc9bf3d41207d97bdfb04be35b5c74 (patch) | |
| tree | e680f0c5d03e36a24cb875d3a4ce9af4de22c93f /plugins-root | |
| parent | 67877a296ef5a0f2f17efd8c2f069c3b4689ccd0 (diff) | |
| download | monitoring-plugins-aa79ab278ffc9bf3d41207d97bdfb04be35b5c74.tar.gz | |
check_mailq: restore accidentially removed optionsrefs/pull/1650/head
with https://github.com/monitoring-plugins/monitoring-plugins/issues/381 -W and -C have been removed. It
would have been sufficient to only remove the long options. Restoring short options..
- fixes https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=954961
Diffstat (limited to 'plugins-root')
0 files changed, 0 insertions, 0 deletions