Dear Debian Gnome maintainers, Is the proposed patch correct? Is there any chance you will fix the gtksourceview3 build problem before the package and all its reverse dependencies are removed from testing? -- Happy hacking Petter Reinholdtsen