On 9/7/22 16:28, Gerald Pfeifer wrote:
> On Wed, 7 Sep 2022, Martin Liška wrote:
>> Thanks for the fix. Btw. have you removed the w3c validation script?
>
> I didn't remove it, but had to deactive automated notifications since the
> w3.org service started to employ some "are you a secure machine?
On Wed, 7 Sep 2022, Martin Liška wrote:
> Thanks for the fix. Btw. have you removed the w3c validation script?
I didn't remove it, but had to deactive automated notifications since the
w3.org service started to employ some "are you a secure machine?" checks
that appear to use Javascript or the l
On 9/5/22 14:31, Gerald Pfeifer wrote:
> On Fri, 26 Aug 2022, Richard Biener via Gcc-patches wrote:
>>> Ready for master?
>> OK
>
> Actually both Richi and me missed a little detail:
>
>>> - ...
>>> +The support for the cr16-elf,
>>> tilegx*-linux and tilepro*-linux
>>> + configuration
On Fri, 26 Aug 2022, Richard Biener via Gcc-patches wrote:
>> Ready for master?
> OK
Actually both Richi and me missed a little detail:
>> - ...
>> +The support for the cr16-elf,
>> tilegx*-linux and tilepro*-linux
>> + configurations has been removed.
>> +
On Fri, 26 Aug 2022, Martin Liška wrote:
> Ready for master?
Looks fine. Tthank you, Martin!
Gerald
On Fri, Aug 26, 2022 at 8:33 AM Martin Liška wrote:
>
> Ready for master?
OK
> Thanks,
> Martin
>
> ---
> htdocs/gcc-13/changes.html | 4 +++-
> 1 file changed, 3 insertions(+), 1 deletion(-)
>
> diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html
> index c58ca1d4..e3f2ee44 100
Ready for master?
Thanks,
Martin
---
htdocs/gcc-13/changes.html | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html
index c58ca1d4..e3f2ee44 100644
--- a/htdocs/gcc-13/changes.html
+++ b/htdocs/gcc-13/changes.html
@@ -28,
