[debbugs-tracker] bug#34533: closed ([PATCH] gnu: python-language-server: Update to 0.23.2.)

[GNU bug Tracking System]

Your message dated Mon, 18 Feb 2019 23:37:02 +0100
with message-id <address@hidden>
and subject line Re: [bug#34533] [PATCH] gnu: python-language-server: Update to 
0.23.2.
has caused the debbugs.gnu.org bug report #34533,
regarding [PATCH] gnu: python-language-server: Update to 0.23.2.
to be marked as done.

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


-- 
34533: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34533
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: python-language-server: Update to 0.23.2.
>
>
>
>
> Date: 
>
> Mon, 18 Feb 2019 15:46:22 -0600
>
>
>
>
> >From 76dc4dfb335be833c76ed90af579acda5e7e25cb Mon Sep 17 00:00:00 2001
> From: Brett Gilio <address@hidden>
> Date: Mon, 18 Feb 2019 15:44:51 -0600
> Subject: [PATCH] gnu: python-language-server: Update to 0.23.2.
>
> * gnu/packages/python-xyz.scm (python-language-server): Update to 0.23.2.
> ---
>  gnu/packages/python-xyz.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
> index 835b5c8a8..8a8ae5f28 100644
> --- a/gnu/packages/python-xyz.scm
> +++ b/gnu/packages/python-xyz.scm
> @@ -2627,14 +2627,14 @@ Server (PLS).")
>  (define-public python-language-server
>    (package
>      (name "python-language-server")
> -    (version "0.22.0")
> +    (version "0.23.2")
>      (source
>       (origin
>         (method url-fetch)
>         (uri (pypi-uri "python-language-server" version))
>         (sha256
>          (base32
> -         "04pbxl06hg0ddm2xx99jn9jh40yv0mmzdjw8pqd2rbcdg42hhia6"))))
> +         "1h83x5widj9p630ha9yv39cpp3djxppll3iww9nc8i3hdmyrbnnh"))))
>      (build-system python-build-system)
>      (propagated-inputs
>       `(("python-pluggy" ,python-pluggy)
> -- 
> 2.20.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#34533] [PATCH] gnu: python-language-server: Update to 0.23.2.
>
>
>
>
> Date: 
>
> Mon, 18 Feb 2019 23:37:02 +0100
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> Brett Gilio <address@hidden> writes:
>
> > From 76dc4dfb335be833c76ed90af579acda5e7e25cb Mon Sep 17 00:00:00 2001
> > From: Brett Gilio <address@hidden>
> > Date: Mon, 18 Feb 2019 15:44:51 -0600
> > Subject: [PATCH] gnu: python-language-server: Update to 0.23.2.
> >
> > * gnu/packages/python-xyz.scm (python-language-server): Update to 0.23.2.
>
> Thanks.  Pushed to the master branch with commit 298d878d2.
>
> -- 
> Ricardo
>
>
>
> --- End Message ---