Subject: Re: [PATCH 1/1] gnu: gopls: Update to 0.12.0.

From: "jgart" <[email-masked]>
Date: Fri, 02 Jun 2023 04:20:39 +0000

Hi Katherine,

Thanks for the patch. Applied.

all best,

jgart