potential issues related to Extra-Opts, and to State Retention (#1249)

[waja]

maybe revert 49ae05ff1ce so that --extra-opts won't be enabled by default
yet

In Debian for example we ship with '--enable-extra-opts'.

-- 
Reply to this email on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/issues/1249
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.monitoring-plugins.org/archive/devel/attachments/20140320/ab728239/attachment.html>