[debbugs-tracker] bug#37383: closed ([PATCH] Update python-language-server - current version not compat with python-jedi 0.15.1)

[GNU bug Tracking System]

Your message dated Thu, 12 Sep 2019 09:49:50 +0900
with message-id <address@hidden>
and subject line Re: [PATCH] Update python-language-server - current version 
not compat with python-jedi 0.15.1
has caused the debbugs.gnu.org bug report #37383,
regarding [PATCH] Update python-language-server - current version not compat 
with python-jedi 0.15.1
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] Update python-language-server - current version not compat with python-jedi 0.15.1 Date: Wed, 11 Sep 2019 20:00:27 +0200

See attached.

0001-gnu-python-language-server-Update-to-0.28.3-1.c3cab7.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH] Update python-language-server - current version not compat with python-jedi 0.15.1
>
>
>
>
> Date: 
>
> Thu, 12 Sep 2019 09:49:50 +0900
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hello Brian,
>
> Brian Leung <address@hidden> writes:
>
> > Hi Maxim,
> >
> > Thanks for updating python-jedi. Currently, only the latest commit of
> > python-language server is compatible with jedi > 0.15, so I thought I'd
> > make the appropriate changes to our version of python-language-server.
>
> Eh, thanks for the quick heads-up, and sorry for the breakage!
>
> I just pushed your fix to master, after reviewing this was indeed the
> appropriate course of action.
>
> Thanks again,
>
> Maxim
>
>
> --- End Message ---