On 16/03/15 19:16, John Rose wrote: > On Mar 16, 2015, at 2:29 AM, Andrew Haley <a...@redhat.com> wrote:> > > Since the option provides control for product behavior, without an explicit > opt-in, it should either be a product flag or a diagnostic flag. > > I suggest keeping the more direct name (Use* not Disable*) and making it a > diagnostic flag.
OK. Andrew.
