1. 2007-12-19 Re: Bug#422085: Better terminal emulator patch debian-de Michael Banck 2. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Neil Williams 3. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Sune Vuorela 4. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Neil Williams 5. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Michael Banck 6. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Sam Hocevar 7. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Sune Vuorela 8. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Pierre Habouzit 9. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de Bastian Venthur 10. 2007-12-18 Re: Bug#422085: Better terminal emulator patch debian-de David Nusinow