I should also add I've already built and installed a version of the package locally that uses the new package (libgtksourceview-3.0-1), however the official repository package needs to be rebuilt.