On 08/27/2015 10:23 PM, Jakub Wilk wrote: > The attached patch fixes all these bugs.
awesome!
- Bug#790739: don't warn about dev-pkg-without-sh... Jakub Wilk
- Processed: Re: Bug#790739: don't warn abou... Debian Bug Tracking System
- Bug#790739: don't warn about dev-pkg-witho... Matthias Klose
- Bug#790739: don't warn about dev-pkg-witho... Jakub Wilk
- Processed: Re: don't warn about dev-pk... Debian Bug Tracking System
- Bug#790739: don't warn about dev-pkg-w... Jakub Wilk
