Forum: >>> Magnum BBS <<<

Processed: bug 1098092 is forwarded to https://gitlab.inria.fr/why3/why

From Debian Bug Tracking System@21:1/5 to All on Thu Feb 20 23:10:02 2025

Processing commands for [email protected]:

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 [email protected] with problems

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	741
Nodes:	16 (3 / 13)
Uptime:	123:22:08
Calls:	12,470
Calls today:	12
Files:	15,200
Messages:	6,538,346