Processed: Marking bug as fixed upstream

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

Processing commands for control@bugs.debian.org:

> tags 246386 fixed-upstream
Bug#246386: gnat: Illegal program not detected, RM 3.8.1(2)
Tags were: fixed-upstream upstream
Tags added: fixed-upstream

> retitle 246386 [Fixed in 4.3] Illegal program not detected, RM 3.8.1(2)
Bug#246386: gnat: Illegal program not detected, RM 3.8.1(2)
Changed Bug title to `[Fixed in 4.3] Illegal program not detected, RM 3.8.1(2)' from `gnat: Illegal program not detected, RM 3.8.1(2)'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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