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