nagios-plugins/nagios-plugins — pull request #1173 by waja (2013-09-30 21:34:53+00:00)
Title: check_snmp: small improvement

Just turning attached patch of github issue #1029 into a push request