Processed: Re: #280940: gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0

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

Processing commands for control@bugs.debian.org:

> retitle 280940 [Fixed in 4.3.0]Â gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0
Bug#280940: gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0
Changed Bug title to [Fixed in 4.3.0]Â gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0 from gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0.

> retitle 284333 [Fixed in 4.3.0] gnat: Illegal program accepted, RM 10.2.1(10), 12.3(1.a)
Bug#284333: gnat: Illegal program accepted, RM 10.2.1(10), 12.3(1.a)
Changed Bug title to [Fixed in 4.3.0] gnat: Illegal program accepted, RM 10.2.1(10), 12.3(1.a) from gnat: Illegal program accepted, RM 10.2.1(10), 12.3(1.a).

> thanks
Stopping processing here.

Please contact me if you need assistance.

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