Subject: [PATCH] gnu: python-language-server: Update to 0.32.0.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Thu, 14 May 2020 15:34:22 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to the master branch with commit
85eed078ff7b8a7a9f648f7cd72dfac8851609bc.

Thank you!

-- 
Ricardo