debian/3.12.2-3

Andreas Henriksson

@ah

53d67a8f · Explicitly disable search provider on non-linux. · May 31, 2014

[svn-buildpackage] Tagging gnome-terminal 3.12.2-3