bug#69414: closed (Request for merging "gnome-team" branch)

[GNU bug Tracking System]

Your message dated Sat, 30 Mar 2024 10:08:58 +0100
with message-id <d49bdf6f6ba7fac37f8d8a0f74134560bcbcbbc4.camel@gmail.com>
and subject line Emacs and Gnome branches are merged now
has caused the debbugs.gnu.org bug report #69414,
regarding Request for merging "gnome-team" branch
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
69414: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69414
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Request for merging "gnome-team" branch
>
>
>
>
> Date: 
>
> Mon, 26 Feb 2024 20:54:20 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> Hi Guix,
>
> we're *almost* done on gnome-team.  We're still waiting for news and
> bug reports though.
>
> kthxbye
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Emacs and Gnome branches are merged now
>
>
>
>
> Date: 
>
> Sat, 30 Mar 2024 10:08:58 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> Hey Guix,
>
> I've now pushed the merge commits for both emacs-team and gnome-team. 
> If you have a weak machine, PLEASE DO NOT PULL IMMEDIATELY AND WAIT FOR
> CI TO CATCH UP!  Despite efforts to prebuild things on the respective
> branches, the merge commit carries with it a rebuild of the most nasty
> package to have to compile locally.
>
> Happy Easter!
>
>
> --- End Message ---