Processed: [bts-link] source package gnat-4.4

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> #
> # bts-link upstream status pull for source package gnat-4.4
> # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
> #
> user bts-link-upstream at lists.alioth.debian.org
Setting user to bts-link-upstream at lists.alioth.debian.org (was bts-link-devel at lists.alioth.debian.org).
> # remote status report for #244943 (http://bugs.debian.org/244943)
> # Bug title: [fixed in 4.6] gnat-4.4: Illegal program not detected, RM 3.7(11)
> #  * http://gcc.gnu.org/PR15611
> #  * remote status changed: NEW -> RESOLVED
> #  * remote resolution changed: (?) -> FIXED
> #  * closed upstream
> tags 244943 + fixed-upstream
Bug #244943 [gnat-4.4] [fixed in 4.6] gnat-4.4: Illegal program not detected, RM 3.7(11)
Added tag(s) fixed-upstream.
> usertags 244943 - status-NEW
Bug#244943: [fixed in 4.6] gnat-4.4: Illegal program not detected, RM 3.7(11)
Usertags were: status-NEW.
Usertags are now: .
> usertags 244943 + status-RESOLVED resolution-FIXED
Bug#244943: [fixed in 4.6] gnat-4.4: Illegal program not detected, RM 3.7(11)
There were no usertags set.
Usertags are now: status-RESOLVED resolution-FIXED.
> # remote status report for #246185 (http://bugs.debian.org/246185)
> # Bug title: [fixed in 4.6] gnat: Bug box in Gigi, code=201, on legal program with tasking
> #  * http://gcc.gnu.org/PR15798
> #  * remote status changed: NEW -> RESOLVED
> #  * remote resolution changed: (?) -> FIXED
> #  * closed upstream
> tags 246185 + fixed-upstream
Bug #246185 [gnat-4.4] [fixed in 4.6] gnat: Bug box in Gigi, code=201, on legal program with tasking
Added tag(s) fixed-upstream.
> usertags 246185 - status-NEW
Bug#246185: [fixed in 4.6] gnat: Bug box in Gigi, code=201, on legal program with tasking
Usertags were: status-NEW.
Usertags are now: .
> usertags 246185 + status-RESOLVED resolution-FIXED
Bug#246185: [fixed in 4.6] gnat: Bug box in Gigi, code=201, on legal program with tasking
There were no usertags set.
Usertags are now: status-RESOLVED resolution-FIXED.
> thanks
Stopping processing here.

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