Configure: make --enable-extra-opts the default (#1225)

Thomas Guyot-Sionnest notifications at github.com
Thu Jan 23 09:43:56 CET 2014


Fixed in 49ae05f

---
Reply to this email directly or view it on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/issues/1225#issuecomment-33106043
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.monitoring-plugins.org/archive/devel/attachments/20140123/92f562cb/attachment.html>


More information about the Devel mailing list