nagios-plugins/nagios-plugins — pull request #57 by waja (2013-07-08 10:05:59+00:00)
Title: Fixing Debian Bug 714281

See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714281 got details