[Pkg-xen-devel] Processed: Re: Bug#942611: xen-doc: Various text files stored as .txt.gz, but index references .txt

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 942611 + pending
Bug #942611 [xen-doc] xen-doc: Various text files stored as .txt.gz, but index references .txt
Added tag(s) pending.
> thanks
Stopping processing here.

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