../ gnome-terminal-3.14.2-fix-crash.patch 09-Aug-2015 20:34 832 gnome-terminal-3.14.2-title-option.patch 09-Aug-2015 20:34 6329 gnome-terminal-3.16.2-restore-dark.patch 09-Aug-2015 20:34 7832 gnome-terminal-3.16.2-restore-transparency.patch 09-Aug-2015 20:34 54792