From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: by sourceware.org (Postfix, from userid 2153)
id 1CE7D3858D39; Tue, 21 May 2024 09:05:14 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1CE7D3858D39
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org;
s=default; t=1716282315;
bh=f6ktECMxUEbiQtp6LKzblQGK4y47z6RuKfcBQwOu8TU=;
h=To:Subject:Date:From:From;
b=T9hP4w7PnyL7Cz5mD3hL/Toyj76yaoXlzvgMNwTJhdF+qwRRCIgdXYvMpOxjjgR4j
YO9YbmFbQ96UMnFzO2iAUj3Rr1Kqcv8g26krB3bYfcCPPePIVRXa7Wvpv65F+4WlOa
2/bzTDJKti7mY4vXpuMxwxy7udoj7FOkh2tFsdLY=
To: gcc-cvs-wwwdocs@gcc.gnu.org
Subject: gcc-wwwdocs branch master updated. 9e79c5e411eb3236b481c6093fad4dc5ae5141c5
X-Git-Refname: refs/heads/master
X-Git-Reftype: branch
X-Git-Oldrev: c52ab7c1b318d66f45b372d50282c7052b59f677
X-Git-Newrev: 9e79c5e411eb3236b481c6093fad4dc5ae5141c5
Message-Id: <20240521090515.1CE7D3858D39@sourceware.org>
Date: Tue, 21 May 2024 09:05:14 +0000 (GMT)
From: Jakub Jelinek
List-Id:
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".
The branch, master has been updated
via 9e79c5e411eb3236b481c6093fad4dc5ae5141c5 (commit)
from c52ab7c1b318d66f45b372d50282c7052b59f677 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 9e79c5e411eb3236b481c6093fad4dc5ae5141c5
Author: Jakub Jelinek
Date: Tue May 21 11:05:04 2024 +0200
Releasing 13.3.0.
diff --git a/htdocs/develop.html b/htdocs/develop.html
index 40228f49..9145aceb 100644
--- a/htdocs/develop.html
+++ b/htdocs/develop.html
@@ -708,9 +708,9 @@ stages of development, branch points, and releases:
diff --git a/htdocs/releases.html b/htdocs/releases.html
index 59aa0a5e..6776f5f4 100644
--- a/htdocs/releases.html
+++ b/htdocs/releases.html
@@ -33,6 +33,7 @@ releases and an alternative view of the release history.