Subject: bug#76640: Request for merging games-updates branch

From: Andreas Enge <[email-masked]>
Date: Mon, 12 May 2025 16:05:44 +0200

Hello,

after an r-team merge, I have rebased and pushed again.

Andreas