Subject: bug#71715: closed (Request for merging "go-team" branch)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 29 Jun 2024 08:46:02 +0000

Your bug report

#71715: Request for merging "go-team" branch

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
71715: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71715
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Request for merging "go-team" branch
From: Sharlatan Hellseher <[email-masked]>
To: [email-masked]
Date: Sat, 29 Jun 2024 09:44:44 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Pushed as bbb1a7b5ed..0fe4e6425e to master.

I've re based on master, cherry picked all new commits from go-team and
resolve merge conflicts, than merge local updated go-team branch into
master.

I'm about to delete go-team branch to prepare the next update cycle.

--
Oleg

Subject: Request for merging "go-team" branch
From: Sharlatan Hellseher <[email-masked]>
To: [email-masked]
Date: Sat, 22 Jun 2024 10:00:01 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>