Processed (with 1 errors): Re: Bug#623382: Ping - gnat fatal error - gone away?
Processing commands for control@bugs.debian.org:
> reassign 623382 gnat 4.4+1
Bug #623382 {Done: Matthias Klose <doko@debian.org>} [gnat-4.4] gnat-4.4: fails to find system.ads
Bug reassigned from package 'gnat-4.4' to 'gnat'.
No longer marked as found in versions gnat-4.4/4.4.5-4.
No longer marked as fixed in versions gnat/4.4+1.1.
Bug #623382 {Done: Matthias Klose <doko@debian.org>} [gnat] gnat-4.4: fails to find system.ads
Marked as found in versions gnat/4.4+1.
> close 623382 gnat/4.4+1.1
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
623382: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623382
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: