Re: [PATCH 1/2] wwwdocs: Group sanitiser changes together

2022-02-22 Thread Gerald Pfeifer
On Tue, 22 Feb 2022, Richard Sandiford wrote: > Err, scratch that. Clearly I've not had tea this morning, and forgot > which version we're about to release :-) No worries! (And it's not even 13 yet. ;-) For the record, I for one am happy for you to make such changes as you see fit (where appli

Re: [PATCH 1/2] wwwdocs: Group sanitiser changes together

2022-02-22 Thread Richard Sandiford via Gcc-patches
Richard Sandiford writes: > Group the ThreadSanitizer and HardwareAssistedAddressSanitizer > changes under a single top-level bullet point. This makes it > easier to add a third sanitiser-related change. > > No (intended) change to the actual text or wording. (TBH I don't > understand the Thread

[PATCH 1/2] wwwdocs: Group sanitiser changes together

2022-02-22 Thread Richard Sandiford via Gcc-patches
Group the ThreadSanitizer and HardwareAssistedAddressSanitizer changes under a single top-level bullet point. This makes it easier to add a third sanitiser-related change. No (intended) change to the actual text or wording. (TBH I don't understand the ThreadSanitizer bit: is it describing three