Subject: Re: [PATCH 1/1] gnu: gopls: Update to 0.12.0.
From: "jgart" <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Fri, 02 Jun 2023 04:20:39 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Katherine,

Thanks for the patch. Applied.

all best,

jgart