Bug#885100: RM: webkitgtk-sharp3 -- RoM; RoQA; replaced by webkit2-sharp

[Jeremy Bicha]

Package: ftp.debian.org
X-Debbugs-CC: webkitgtk-sha...@packages.debian.org, andre...@debian.org

Please remove webkitgtk-sharp3 from Debian Unstable.

It was removed from Debian Testing earlier this year because it
depends on the unmaintained webkitgtk (new library is webkit2gtk).
webkitgtk-sharp3 has no reverse depends left in Debian. The
replacement for webkitgtk-sharp3 is webkit2-sharp.

I got approval from the webkitgtk-sharp3 maintainer, Andrew Shadura,
before filing this bug.

Thanks,
Jeremy Bicha