Bug#882533: RM: kdevplatform -- ROM; obsolete, merged into src:kdevelop

[Pino Toscano <pino@debian.org>]

Package: ftp.debian.org
Severity: normal

Hi,

please remove src:kdevplatform, as it was merged in the same repository
of kdevelop -- indeed, src:kdevelop since 5.2.0 provides all the
kdevplatform libraries.

Thanks,
-- 
Pino