On 01/27/2016 04:18 PM, Ian Lance Taylor wrote:
On Wed, Jan 27, 2016 at 7:16 AM, Bernd Schmidt <bschm...@redhat.com> wrote:Still, I feel uncomfortable about making a promise we don't really expect to fully keep yet, so I would prefer this option to be undocumented for now. I won't object if someone else wants to approve it as a normal option however.Are you approving the patch if I change the option to be undocumented?
Yes. Bernd
