Subject: Re: Request for merging "games-updates" branch
From: Andreas Enge <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: Steve George <[email-masked]>, [email-masked], [email-masked], [email-masked], [email-masked], [email-masked]
Date: Fri, 23 May 2025 08:45:11 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

I have just pushed the games-updates branch to master.
Closing all the contained issues.

Andreas