Thank you! I just saw the latest upload. Yixuan
On Sat, May 23, 2015 at 7:59 AM, Romain Francoise <rfranco...@debian.org> wrote: > Ok, I changed my mind; it's not ideal to have to include the change to > make default-terminal a server option, but forcing a configuration > change on all the users who don't want italics isn't realistic. Let's go > with this. > > -- > Romain Francoise <rfranco...@debian.org> > http://people.debian.org/~rfrancoise/ > -- GUO Yixuan
