Processing commands for [email protected]: > close 528019 Bug#528019: files+dirs in /usr/local/*/* not removed on removal (policy 9.1.2) 'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing. Bug closed, send any further explanations to Holger Levsen <[email protected]>
> notfound 528019 2.13-1 Bug#528019: files+dirs in /usr/local/*/* not removed on removal (policy 9.1.2) Bug no longer marked as found in version 2.13-1. (By the way, this Bug is currently marked as done.) > fixed 528019 2.13-1 Bug#528019: files+dirs in /usr/local/*/* not removed on removal (policy 9.1.2) Bug marked as fixed in version 2.13-1. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

