Processed: update status for GNAT bugs

Processing commands for cont...@bugs.debian.org: > retitle 717014 [fixed in 11] on some archs, a library using > Elementary_Functions needs -lm Bug #717014 [gnat-10] on some archs, a library using Elementary_Functions needs -lm Changed Bug title to '[fixed in 11] on some archs, a library using

Processed: update status of gnat bugs in gcc-10

Processing commands for cont...@bugs.debian.org: > found 244936 10.2.0-9 Bug #244936 [gnat-9] Legal program rejected, RM 8.2(22) There is no source info for the package 'gnat-9' at version '10.2.0-9' with architecture '' Unable to make a source version for version '10.2.0-9' Marked as found in

Processed: update status of GNAT bugs

Processing commands for cont...@bugs.debian.org: > reassign 244936 gnat-8 8.1.0-3 Bug #244936 [gnat-7] Legal program rejected, RM 8.2(22) Bug reassigned from package 'gnat-7' to 'gnat-8'. No longer marked as found in versions gcc-7/7.1.0-7. Ignoring request to alter fixed versions of bug #244936