Processed: Re: Bug#1038463: cegui-mk2: Is this library still useful to have in Debian?

Debian Bug Tracking System owner at bugs.debian.org
Thu Jul 13 21:21:04 BST 2023

Previous message (by thread): Bug#1038463: cegui-mk2: Is this library still useful to have in Debian?
Next message (by thread): Processed: GCC 13 is the default now, raising severity to RC
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Processing control commands:

> tag -1 + moreinfo
Bug #1038463 [src:cegui-mk2] cegui-mk2: Is this library still useful to have in Debian?
Added tag(s) moreinfo.

-- 
1038463: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038463
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems

Previous message (by thread): Bug#1038463: cegui-mk2: Is this library still useful to have in Debian?
Next message (by thread): Processed: GCC 13 is the default now, raising severity to RC
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-games-devel mailing list