Processing commands for cont...@bugs.debian.org: > 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 <hol...@layer-acht.org>
> 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 debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
