GNU bug report logs - #34533
[PATCH] gnu: python-language-server: Update to 0.23.2.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ricardo Wurmus <rekado <at> elephly.net>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#34533: closed ([PATCH] gnu: python-language-server: Update to
 0.23.2.)
Date: Mon, 18 Feb 2019 22:38:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 18 Feb 2019 23:37:02 +0100
with message-id <878sycwwoh.fsf <at> elephly.net>
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
help-debbugs <at> gnu.org.)


-- 
34533: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34533
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Brett Gilio <brettg <at> posteo.net>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: python-language-server: Update to 0.23.2.
Date: Mon, 18 Feb 2019 15:46:22 -0600

[0001-gnu-python-language-server-Update-to-0.23.2.patch (text/x-patch, inline)]

From 76dc4dfb335be833c76ed90af579acda5e7e25cb Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg <at> posteo.net>
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

[Message part 4 (message/rfc822, inline)]

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Brett Gilio <brettg <at> posteo.net>
Cc: 34533-done <at> debbugs.gnu.org
Subject: Re: [bug#34533] [PATCH] gnu: python-language-server: Update to 0.23.2.
Date: Mon, 18 Feb 2019 23:37:02 +0100

Brett Gilio <brettg <at> posteo.net> writes:

> From 76dc4dfb335be833c76ed90af579acda5e7e25cb Mon Sep 17 00:00:00 2001
> From: Brett Gilio <brettg <at> posteo.net>
> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.