[Pkg-zsh-devel] Processed: Re: Bug#559124: unnecessary files

Debian Bug Tracking System owner at bugs.debian.org
Fri Nov 8 01:09:05 UTC 2013


Processing control commands:

> severity -1 minor
Bug #559124 [zsh] unnecessary files
Severity set to 'minor' from 'normal'
> tag -1 + help
Bug #559124 [zsh] unnecessary files
Added tag(s) help.

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



More information about the Pkg-zsh-devel mailing list