Subject: [PATCH 0/3] Update gopls.
From: Sharlatan Hellseher <[email-masked]>
To: [email-masked]
Date: Mon, 14 Jul 2025 11:46:59 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Pushed with modifications to master:

6cf00e6cdec * master origin/master gnu: gopls: Update to 0.19.1.
3fea0faff60 * gnu: Add go-github-com-fatih-gomodifytags.
710f245eea7 * gnu: go-honnef-co-go-tools: Update to 0.6.1.

--
Oleg