Re: [PATCH] Update URLs in libsanitizer/README.gcc [PR Bug sanitizer/89010]

[Jonny Grant]

On 23/01/2019 13:19, Jakub Jelinek wrote:

On Wed, Jan 23, 2019 at 11:30:29AM +0000, Jonny Grant wrote:

Not a member of this list, please include my email address in any replies.


2019-01-23  Jonny Grant  <j...@jguk.org>

        PR 89010

        PR sanitizer/89010
is what should be used.

        * libsanitizer/README.gcc: Update to current https URLs

And period at the end of the above line.

Committed to trunk with those changes, thanks.

Excellent, many thanks Jakub