Processed: notfixed 458473 in 505214

Debian Bug Tracking System owner at
Sun Jun 28 14:09:03 UTC 2009

Processing commands for control at

> notfixed 458473 505214
Bug#458473: prboom: Ctrl still fires when menu is visible
Bug no longer marked as fixed in version 505214.

End of message, 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