Processing commands for cont...@bugs.debian.org: > forwarded 1098092 https://gitlab.inria.fr/why3/why3/-/issues/901 Bug #1098092 [src:why3] why3: ftbfs with GCC-15 Set Bug forwarded-to-address to 'https://gitlab.inria.fr/why3/why3/-/issues/901'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1098092: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1098092 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
