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