bug#39507: closed (Kitty terminal emulator)

[GNU bug Tracking System]

Your message dated Sat, 8 Feb 2020 19:09:16 +0100
with message-id <address@hidden>
and subject line Re: [bug#39507] Kitty terminal emulator
has caused the debbugs.gnu.org bug report #39507,
regarding Kitty terminal emulator
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
39507: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39507
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Kitty terminal emulator Date: Fri, 07 Feb 2020 20:32:38 +0000

Upgrade kitty terminal emulator to latest release 0.16.0 for launch support.

kitty_version.diff
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#39507] Kitty terminal emulator
>
>
>
>
> Date: 
>
> Sat, 8 Feb 2020 19:09:16 +0100
>
>
>
>
> Le Fri, 07 Feb 2020 20:32:38 +0000,
> Ekaitz Zarraga <address@hidden> a écrit :
>
> > Upgrade kitty terminal emulator to latest release 0.16.0 for launch
> > support.
> > 
> > 
>
> Pushed as 56bae7f380cf37d3a1747f23cbf236e19298456b thank you! I changed
> the commit message so it follows our conventions.
>
>
> --- End Message ---