Processing commands for cont...@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 ow...@bugs.debian.org with problems
