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