Bug#491030: bash-doc: doesn't include documentation

2008-12-23 Thread José Luis González
severity 491030 grave thanks On Tue, 23 Dec 2008 16:01:51 +0100 Matthias Klose wrote: > severity 491030 important > thanks > > the package does include documentation, but not the manual. I'm happy to play > the bug ping pong. > > José Luis González schrieb: > > severity 491030 grave > > thanks

Processed: Re: Bug#491030: bash-doc: doesn't include documentation

2008-12-23 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > severity 491030 grave Bug#491030: bash-doc contains no documentation Severity set to `grave' from `grave' > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debi

Bug#491030: bash-doc: doesn't include documentation

2008-12-23 Thread Matthias Klose
severity 491030 important thanks the package does include documentation, but not the manual. I'm happy to play the bug ping pong. José Luis González schrieb: > severity 491030 grave > thanks > > Not including documentation makes the package in question unusable or > mostly so. I am raising sever