Processed: Re: Bug#812870: prboom-plus: Unable to configure prboom-plus

[Debian Bug Tracking System]

Processing control commands:

> tag -1 +unreproducible
Bug #812870 [prboom-plus] prboom-plus: Unable to configure prboom-plus
Added tag(s) unreproducible.

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