Processed: title

Debian Bug Tracking System owner at bugs.debian.org
Wed Aug 8 12:51:03 UTC 2007


Processing commands for control at bugs.debian.org:

> retitle 435468 warsow can't start without DRI
Bug#435468: warsow: segfaults when starting (amd64 bug ?)
Changed Bug title to `warsow can't start without DRI' from `warsow: segfaults when starting (amd64 bug ?)'.
(By the way, that Bug is currently marked as done.)

> severity 435468 normal
Bug#435468: warsow can't start without DRI
Severity set to `normal' from `grave'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)




More information about the Pkg-games-devel mailing list