From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dkm@sourceware.org>
Received: by sourceware.org (Postfix, from userid 7871)
	id C51C33858D1E; Tue,  4 Apr 2023 12:30:28 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C51C33858D1E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org;
	s=default; t=1680611428;
	bh=PDQ6FqW3Zl4itX2Wxwaxexr+gcuod1iSgeMWs9rfj54=;
	h=To:Subject:Date:From:From;
	b=S/bDBrlCNbqgHVPhy1JplHiKwnKyKHqjxL3v/i+Hq6ncdwh3aD4zsPu4Vq6Lbd0i5
	 /VW9FWbOgdmh1rqRkuhSUfaClLs39AK1+DE6r8Q0MZdDzb/Yjgz10oZGpMpi6zHXB0
	 9/yoUWimxqDhXNm2IKtWxSYq7jmcnMD0CKYWaRug=
To: gcc-cvs-wwwdocs@gcc.gnu.org
Subject: gcc-wwwdocs branch master updated. fa564a92f8f374e15232214f6084caca598e5cf9
X-Git-Refname: refs/heads/master
X-Git-Reftype: branch
X-Git-Oldrev: e0396e9ca4eb69ba6f95a9129c1c88294feb4aa5
X-Git-Newrev: fa564a92f8f374e15232214f6084caca598e5cf9
Message-Id: <20230404123028.C51C33858D1E@sourceware.org>
Date: Tue,  4 Apr 2023 12:30:28 +0000 (GMT)
From: Marc Poulhi?s <dkm@sourceware.org>
List-Id: <gcc-cvs-wwwdocs.sourceware.org>

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  fa564a92f8f374e15232214f6084caca598e5cf9 (commit)
      from  e0396e9ca4eb69ba6f95a9129c1c88294feb4aa5 (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 fa564a92f8f374e15232214f6084caca598e5cf9
Author: Fernando Oleo Blanco <irvise@protonmail.com>
Date:   Sun Mar 26 14:20:36 2023 +0200

    Add Ada's entry in the v13 changelog
    
    Signed-off-by: Fernando Oleo Blanco <irvise@protonmail.com>

diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html
index ff70d2ee..2e25bcf5 100644
--- a/htdocs/gcc-13/changes.html
+++ b/htdocs/gcc-13/changes.html
@@ -160,7 +160,16 @@ a work-in-progress.</p>
 <!-- .................................................................. -->
 <h2 id="languages">New Languages and Language specific improvements</h2>
 
-<!-- <h3 id="ada">Ada</h3> -->
+<h3 id="ada">Ada</h3>
+<ul>
+  <li>Traceback support added in RTEMS for the PPC ELF and ARM architectures.</li>
+  <li>Support for versions older than VxWorks 7 has been removed.</li>
+  <li>General improvements to the contracts in the standard libraries.</li>
+  <li>Addition of <code>GNAT.Binary_Search</code>.</li>
+  <li>Further additions and fixes for the Ada 2022 specification.</li>
+  <li>The Pragma <code>SPARK_Mode=&gt;Auto</code> is now accepted. Contract analysis has been further improved.</li>
+  <li>Documentation improvements.</li>
+</ul>
 
 <h3 id="c-family">C family</h3>
 <ul>

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gcc-13/changes.html | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gcc-wwwdocs