Processed: [bts-link] source package gnat-4.3
Processing commands for control@bugs.debian.org:
> #
> # bts-link upstream status pull for source package gnat-4.3
> # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
> #
> user bts-link-upstream@lists.alioth.debian.org
Setting user to bts-link-upstream@lists.alioth.debian.org (was bts-link-devel@lists.alioth.debian.org).
> # remote status report for #246390
> # * http://gcc.gnu.org/PR15807
> # * remote status changed: NEW -> RESOLVED
> # * remote resolution changed: (?) -> FIXED
> usertags 246390 - status-NEW
Bug#246390: [Fixed in 4.4] Legal program runs incorrectly, RM 3.10.2(3,29)
Usertags were: status-NEW.
Usertags are now: .
> usertags 246390 + status-RESOLVED resolution-FIXED
Bug#246390: [Fixed in 4.4] Legal program runs incorrectly, RM 3.10.2(3,29)
There were no usertags set.
Usertags are now: status-RESOLVED resolution-FIXED.
> # remote status report for #246392
> # * http://gcc.gnu.org/PR15808
> # * remote status changed: NEW -> RESOLVED
> # * remote resolution changed: (?) -> FIXED
> usertags 246392 - status-NEW
Bug#246392: [Fixed in 4.4] Illegal program not detected, RM 3.9.3(10)
Usertags were: status-NEW.
Usertags are now: .
> usertags 246392 + status-RESOLVED resolution-FIXED
Bug#246392: [Fixed in 4.4] Illegal program not detected, RM 3.9.3(10)
There were no usertags set.
Usertags are now: status-RESOLVED resolution-FIXED.
> # remote status report for #274077
> # * http://gcc.gnu.org/PR17732
> # * remote status changed: NEW -> RESOLVED
> # * remote resolution changed: (?) -> FIXED
> # * closed upstream
> tags 274077 + fixed-upstream
Bug#274077: gnat: Bug box, Program_Error sem_type.adb:1348 in legal program
Tags were: upstream
Tags added: fixed-upstream
> usertags 274077 - status-NEW
Bug#274077: gnat: Bug box, Program_Error sem_type.adb:1348 in legal program
Usertags were: status-NEW.
Usertags are now: .
> usertags 274077 + status-RESOLVED resolution-FIXED
Bug#274077: gnat: Bug box, Program_Error sem_type.adb:1348 in legal program
There were no usertags set.
Usertags are now: status-RESOLVED resolution-FIXED.
> # remote status report for #315414
> # * http://gcc.gnu.org/PR22164
> # * remote status changed: NEW -> RESOLVED
> # * remote resolution changed: (?) -> FIXED
> usertags 315414 - status-NEW
Bug#315414: [Fixed in 4.4] Rejects matching parameter in generic instantiation as non-matching
Usertags were: status-NEW.
Usertags are now: .
> usertags 315414 + status-RESOLVED resolution-FIXED
Bug#315414: [Fixed in 4.4] Rejects matching parameter in generic instantiation as non-matching
There were no usertags set.
Usertags are now: status-RESOLVED resolution-FIXED.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: