With the newly added gnulib, I think that the merge is now okay. What do you think?
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1386#issuecomment-187403936
With the newly added gnulib, I think that the merge is now okay. What do you think?
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1386#issuecomment-187403936