Bug#763151: override: kdevelop-dev:libdevel/optional, kdevelop:devel/optional, kdevelop-data:devel/optional

[Pino Toscano <pino@debian.org>]

Package: ftp.debian.org
Severity: normal

Hi,

please change the section of kdevelop and its -data to "devel", since
it's a development IDE; kdevelop-dev should be changed to "libdevel"
instead.

Note that kdevelop-dev is still "devel", but the next upload of it
will have the switch to "libdevel".

Thanks,
-- 
Pino