Processed: Re: Bug#315722: prboom: randomly gets signal 11 after a very very short playing time

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 315722 1.2.7+1.2.8cvs20041007-4.1
Bug#315722: libsdl1.2debian: prboom randomly gets signal 11 after a very very short playing time
Bug marked as found in version 1.2.7+1.2.8cvs20041007-4.1.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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