nagios-plugins/nagios-plugins — pull request #1163 by waja (2013-09-29 00:09:10+00:00)
Title: check_snmp: fix for multiple non numeric OIDs

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