On 09/28/2017 07:49 PM, Joseph Myers wrote: > * configure.ac (--enable-add-ons): Remove option. I'm in favor of this change. I looked at the patch and I don't see anything obviously wrong with it. The removal appears to be complete, and the things I tested appear to be working. Thanks, Florian