Pino Toscano Wed, 21 Sep 2016 14:21:38 -0700
Package: ftp.debian.org Severity: normal Hi,
please change section & priority of kdevelop-php-docs as oldlibs/extra, as its content has been merged into kdevelop-php, and this package is left as transitional. Thanks, -- Pino