From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 30 Jan 2026 11:43:53 +0000 (+0100)
Subject: Add missing PR reference
X-Git-Tag: basepoints/gcc-17~1617
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=9a946fb8a8bc91fb205af9fdaa7d72f8d511b7e0;p=thirdparty%2Fgcc.git

Add missing PR reference
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2c35acebf4a..a84735fee6c 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -32,6 +32,7 @@
 
 2026-01-21  Eric Botcazou  <ebotcazou@adacore.com>
 
+	PR ada/123580
 	* sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Replace call to
 	Scope_Within_Or_Same (Current_Scope, S) with In_Open_Scopes (S) to
 	test whether S is open in the current scope.