Re: Rewrite of check_ircd (#1244)

[waja]

This 66c666420d119f24273e295600edab1cd13a0b76 is already merged with
42e77f9f51fe1665236cd3c750eec7e86c8650eb!

-- 
Reply to this email on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/pull/1244#issuecomment-36450199