Processed: Fixed upstream
Processing commands for control@bugs.debian.org:
> tags 284651 fixed-upstream
Bug#284651: gnat: Bug box, Assert_Failure at namet.adb:581, on legal program
Tags were: upstream
Tags added: fixed-upstream
> retitle 284651 [Fixed in 4.3.0] gnat: Bug box, Assert_Failure at namet.adb:581, on legal program
Bug#284651: gnat: Bug box, Assert_Failure at namet.adb:581, on legal program
Changed Bug title to [Fixed in 4.3.0] gnat: Bug box, Assert_Failure at namet.adb:581, on legal program from gnat: Bug box, Assert_Failure at namet.adb:581, on legal program.
> tags 248687 fixed-upstream
Bug#248687: gnat: Illegal program not detected, pragma Convention after freeze
Tags were: upstream
Tags added: fixed-upstream
> retitle 248687 [Fixed in 4.3.0] gnat: Illegal program not detected, pragma Convention after freeze
Bug#248687: gnat: Illegal program not detected, pragma Convention after freeze
Changed Bug title to [Fixed in 4.3.0] gnat: Illegal program not detected, pragma Convention after freeze from gnat: Illegal program not detected, pragma Convention after freeze.
> tags 284332 fixed-upstream
Bug#284332: gnat: Illegal program not detected, RM 4.7(3)
Tags were: upstream
Tags added: fixed-upstream
> retitle 284332 [Fixed in 4.3.0] gnat: Illegal program not detected, RM 4.7(3)
Bug#284332: gnat: Illegal program not detected, RM 4.7(3)
Changed Bug title to [Fixed in 4.3.0] gnat: Illegal program not detected, RM 4.7(3) from gnat: Illegal program not detected, RM 4.7(3).
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: