Re: [RFC 8.3 2/3] Add the "set style source" command

Tom Tromey
2019-03-11T20:13:18Z

>> + 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