Re: Terminal desktop file name

[Martin Sourada]

Hi Kevin,

On Tue, 21 Jun 2011 08:32:11 -0600 
Kevin Fenzi wrote:
> Greetings.
>
> What do folks think about:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=714835
>
> I'm ok with just changing/adding to the desktop name here for
> clarity...
>
> what do others think?

+1 from me.

Martin