Re: Considering gedit for GNOME core



On Thu, 2016-02-04 at 18:42 +0100, Paolo Borelli wrote:
Hi Michael,

    the desktop file was already changed some days ago when this
thread
started.


Paolo

I see, I missed that. Thanks!


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]