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.

Reply via email to