From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-154539-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 115282 invoked by alias); 11 Mar 2019 20:13:18 -0000
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
Received: (qmail 115274 invoked by uid 89); 11 Mar 2019 20:13:18 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-11.9 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.1 spammy=arrive, HX-Languages-Length:229, H*f:sk:83r2bg8, H*i:sk:83r2bg8
X-HELO: rock.gnat.com
Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 11 Mar 2019 20:13:17 +0000
Received: from localhost (localhost.localdomain [127.0.0.1])	by filtered-rock.gnat.com (Postfix) with ESMTP id 8D97256104;	Mon, 11 Mar 2019 16:13:15 -0400 (EDT)
Received: from rock.gnat.com ([127.0.0.1])	by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024)	with LMTP id xWIXgf7XM0Ko; Mon, 11 Mar 2019 16:13:15 -0400 (EDT)
Received: from murgatroyd (75-166-85-218.hlrn.qwest.net [75.166.85.218])	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))	(No client certificate requested)	by rock.gnat.com (Postfix) with ESMTPSA id 194B71160AF;	Mon, 11 Mar 2019 16:13:15 -0400 (EDT)
From: Tom Tromey <tromey@adacore.com>
To: Eli Zaretskii <eliz@gnu.org>
Cc: Tom Tromey <tromey@adacore.com>,  gdb-patches@sourceware.org
Subject: Re: [RFC 8.3 2/3] Add the "set style source" command
References: <20190308210433.32683-1-tromey@adacore.com>	<20190308210433.32683-3-tromey@adacore.com> <83r2bg8tdd.fsf@gnu.org>
Date: Mon, 11 Mar 2019 20:13:00 -0000
In-Reply-To: <83r2bg8tdd.fsf@gnu.org> (Eli Zaretskii's message of "Sat, 09 Mar	2019 08:16:46 +0200")
Message-ID: <87d0mx9nl1.fsf@tromey.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SW-Source: 2019-03/txt/msg00227.txt.bz2

>> +  enabled, if if GDB was linked with GNU Source Highlight.
Eli>               ^^^^^
Eli> A typo (you probably meant "and if").

Thanks, I've fixed this.
New version to arrive soon.

Tom