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

> reassign 881938 gnat-8
Bug #881938 [src:gcc-7] gnat: call gcc/g++ with system_type
Bug reassigned from package 'src:gcc-7' to 'gnat-8'.
No longer marked as found in versions gcc-7/7.2.0-16.
Ignoring request to alter fixed versions of bug #881938 to the same values 
previously set
> retitle: gnatmake should call gcc/g++ with system_type prefix
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.

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

Reply via email to