Processed: Fixed bugs

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> tag 280940 fixed-upstream
Bug#280940: [Fixed in 4.3.0]Â gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0
Tags were: upstream
Tags added: fixed-upstream

> tag 284333 fixed-upstream
Bug#284333: [Fixed in 4.3.0] gnat: Illegal program accepted, RM 10.2.1(10), 12.3(1.a)
Tags were: upstream
Tags added: fixed-upstream

> retitle 395406 [Fixed in 4.3.0] gnat-4.1: Assert_Failure sinfo.adb:649
Bug#395406: gnat-4.1: Assert_Failure sinfo.adb:649
Changed Bug title to [Fixed in 4.3.0] gnat-4.1: Assert_Failure sinfo.adb:649 from gnat-4.1: Assert_Failure sinfo.adb:649.

> tag 395406 fixed-upstream
Bug#395406: [Fixed in 4.3.0] gnat-4.1: Assert_Failure sinfo.adb:649
Tags were: upstream confirmed
Tags added: fixed-upstream

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)