Processing commands for control@bugs.debian.org:

> tags 246390 fixed-upstream
Bug#246390: gnat: Legal program runs incorrectly, RM 3.10.2(3,29)
Tags were: upstream
Tags added: fixed-upstream

> retitle 246390 [Fixed in 4.4] Legal program runs incorrectly, RM
Bug#246390: gnat: Legal program runs incorrectly, RM 3.10.2(3,29)
Changed Bug title to `[Fixed in 4.4] Legal program runs incorrectly, RM' from `gnat: Legal program runs incorrectly, RM 3.10.2(3,29)'.

> 3.10.2(3,29)
Unknown command or malformed arguments to command.

> tags 246392 fixed-upstream
Bug#246392: gnat: Illegal program not detected, RM 3.9.3(10)
Tags were: upstream
Tags added: fixed-upstream

> retitle 246392 [Fixed in 4.4] Illegal program not detected, RM 3.9.3(10)
Bug#246392: gnat: Illegal program not detected, RM 3.9.3(10)
Changed Bug title to `[Fixed in 4.4] Illegal program not detected, RM 3.9.3(10)' from `gnat: Illegal program not detected, RM 3.9.3(10)'.

> tags 315414 fixed-upstream
Bug#315414: gnat: Rejects matching parameter in generic instantiation as non-matching
Tags were: upstream confirmed
Tags added: fixed-upstream

> retitle 315414 [Fixed in 4.4] Rejects matching parameter in generic
Bug#315414: gnat: Rejects matching parameter in generic instantiation as non-matching
Changed Bug title to `[Fixed in 4.4] Rejects matching parameter in generic' from `gnat: Rejects matching parameter in generic instantiation as non-matching'.

> instantiation as non-matching
Unknown command or malformed arguments to command.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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


--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org