[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: update ada gcc bug status



Processing commands for control@bugs.debian.org:

> reassign 748297 gnat-8
Bug #748297 [gnat-6] the libgnatprj and libgnatvsn patches should be upstreamed or dropped
Bug reassigned from package 'gnat-6' to 'gnat-8'.
Ignoring request to alter found versions of bug #748297 to the same values previously set
Ignoring request to alter fixed versions of bug #748297 to the same values previously set
> retitle  748297 the libgnatvsn patch should be upstreamed or dropped
Bug #748297 [gnat-8] the libgnatprj and libgnatvsn patches should be upstreamed or dropped
Changed Bug title to 'the libgnatvsn patch should be upstreamed or dropped' from 'the libgnatprj and libgnatvsn patches should be upstreamed or dropped'.
> reassign 748298 gnat-8
Bug #748298 [gnat-6] please drop the sjlj support
Bug reassigned from package 'gnat-6' to 'gnat-8'.
Ignoring request to alter found versions of bug #748298 to the same values previously set
Ignoring request to alter fixed versions of bug #748298 to the same values previously set
> reassign 746689 gnat-8
Bug #746689 [gnat-6] libgnatvsn should have a proper configure.ac and Makefile.in
Bug reassigned from package 'gnat-6' to 'gnat-8'.
Ignoring request to alter found versions of bug #746689 to the same values previously set
Ignoring request to alter fixed versions of bug #746689 to the same values previously set
> reassign 894225 gnat-8
Bug #894225 [gnat-7] gnat: trailing separators confuse Ada.Directories.Containing_Directory
Bug reassigned from package 'gnat-7' to 'gnat-8'.
No longer marked as found in versions gcc-7/7.3.0-11.
Ignoring request to alter fixed versions of bug #894225 to the same values previously set
> thanks
Stopping processing here.

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


Reply to: