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

Reply via email to