Bug#623382: Ping - gnat fatal error - gone away?

2012-06-16 Thread Arne Wichmann
tag 623382 + unreproducible thanks I could not reproduce this problem using gnat-4.4 . As it is fixed in gnats in version 4.4 - does it still exist? cu AW -- [...] If you don't want to be restricted, don't agree to it. If you are coerced, comply as much as you must to protect yourself, just

Bug#623382: Ping - gnat fatal error - gone away?

2012-06-16 Thread Ludovic Brenta
reassign 623382 gnat 4.4+1 close 623382 gnat/4.4+1.1 thanks This bug was, in fact, in gnat rather than gnat-4.4. If has been fixed and closed for several months and I wonder why you followed up on this bug. Perhaps it is not properly marked as closed; I'm attempting to fix that. -- Ludovic

Processed (with 1 errors): Re: Bug#623382: Ping - gnat fatal error - gone away?

2012-06-16 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: reassign 623382 gnat 4.4+1 Bug #623382 {Done: Matthias Klose d...@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