[UPDATE] gtksourceview: Update to 3.12.2