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

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


Closed #1225.

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


More information about the Devel mailing list