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

[Jeremy Bicha]

Control: tags -1 -moreinfo
Control: block -1 by 994161
Control: retitle -1 RM: gtksourceview2 -- ROM; unmaintained library

I went ahead and filed a removal bug for matita so dropping the moreinfo flag.

Thank you,
Jeremy Bicha

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

[Jeremy Bicha]

Package: ftp.debian.org
Severity: normal
X-Debbugs-CC: gtksourcevi...@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