Bug#994162: RM: gtksourceview2: ROM; unmaintained library

[Jeremy Bicha]

Package: ftp.debian.org
Severity: normal
X-Debbugs-CC: gtksourceview2 at packages.debian.org
Affects: gtksourceview2
Control: block -1 by 994098
Tags: moreinfo

Please remove gtksourceview2 from Debian. See
https://bugs.debian.org/911166 for background.

I am setting the moreinfo tag since matita still depends on gtksourceview2.

Thank you,
Jeremy Bicha