Package: ftp.debian.org Severity: normal X-Debbugs-CC: [email protected] 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
