[monitoring-plugins] Merge pull request #1442 from ...

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 9c7f34cb57c5e6837d67e37fa06a5668d5cd9ddb
    Author: Sven Nierlein <s...@nierlein.org>
 Committer: GitHub <nore...@github.com>
      Date: Tue Nov  8 10:30:06 2016 +0100
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=9c7f34c

Merge pull request #1442 from waja/check_dig_use_retry_instead_tries

check_dig: use +retry instead of +tries

---