I'll take this in via Debian, but thanks! -- https://code.launchpad.net/~noskcaj/ubuntu/vivid/gtksourceview3/3.14.3/+merge/250885 Your team Ubuntu branches is requested to review the proposed merge of lp:~noskcaj/ubuntu/vivid/gtksourceview3/3.14.3 into lp:ubuntu/gtksourceview3.