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

> forwarded #1012931 https://github.com/wbhart/flint2/issues/1140
Bug #1012931 [src:flint] flint: ftbfs with GCC-12
Set Bug forwarded-to-address to 'https://github.com/wbhart/flint2/issues/1140'.
> fixed #1012931 2.9.0-1
Bug #1012931 [src:flint] flint: ftbfs with GCC-12
Marked as fixed in versions flint/2.9.0-1.
> thanks
Stopping processing here.

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

Reply via email to