Processed: [bts-link] source package gcc-13

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> #
> # bts-link upstream status pull for source package gcc-13
> # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
> #     https://bts-link-team.pages.debian.net/bts-link/
> #
> user debian-bts-link@lists.debian.org
Setting user to debian-bts-link@lists.debian.org (was debian-bts-link@lists.debian.org).
> # remote status report for #244970 (http://bugs.debian.org/244970)
> # Bug title: [Fixed in 14] Illegal program not detected, RM 12.1(11)
> #  * http://gcc.gnu.org/PR15614
> #  * remote status changed: NEW -> RESOLVED
> #  * remote resolution changed: (?) -> FIXED
> #  * closed upstream
> tags 244970 + fixed-upstream
Bug #244970 [gnat-13] [Fixed in 14] Illegal program not detected, RM 12.1(11)
Added tag(s) fixed-upstream.
> usertags 244970 - status-NEW
Usertags were: status-NEW.
There are now no usertags set.
> usertags 244970 + status-RESOLVED resolution-FIXED
There were no usertags set.
Usertags are now: resolution-FIXED status-RESOLVED.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
244970: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=244970
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems