Processed: closing 535526

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> close 535526
Bug#535526: padre: Dies when asking for documentation (F1)
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug closed, send any further explanations to Gunnar Wolf <gwolf at gwolf.org>

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
535526: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=535526
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems