Processing commands for cont...@bugs.debian.org:

> reassign 614402 gnat-4.6
Bug #614402 [gnat-4.4] gnat-4.4: Pragma Assert is rejected with 
No_Implementation_Pragmas restriction
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
Bug No longer marked as found in versions gnat-4.4/4.4.5-3.
> found 614402 4.6.1-5
Bug #614402 [gnat-4.6] gnat-4.4: Pragma Assert is rejected with 
No_Implementation_Pragmas restriction
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
614402: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=614402
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems


-- 
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/handler.s.c.131483771412961.transcr...@bugs.debian.org

Reply via email to