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

2019-01-23 Thread Jonny Grant
On 23/01/2019 13:19, Jakub Jelinek wrote: On Wed, Jan 23, 2019 at 11:30:29AM +, Jonny Grant wrote: Not a member of this list, please include my email address in any replies. 2019-01-23 Jonny Grant PR 89010 PR sanitizer/89010 is what should be used. *

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

2019-01-23 Thread Jakub Jelinek
On Wed, Jan 23, 2019 at 11:30:29AM +, Jonny Grant wrote: > Not a member of this list, please include my email address in any replies. > > > 2019-01-23 Jonny Grant > > PR 89010 PR sanitizer/89010 is what should be used. > * libsanitizer/README.gcc: Update to current

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

2019-01-23 Thread Jonny Grant
Not a member of this list, please include my email address in any replies. 2019-01-23 Jonny Grant PR 89010 * libsanitizer/README.gcc: Update to current https URLs Index: trunk/libsanitizer/README.gcc === ---