From 14ab2ddd9b49dbcc34e35f941e4980d3d1faaf14 Mon Sep 17 00:00:00 2001 From: jochen Date: Fri, 9 Oct 2026 13:22:22 +0200 Subject: [PATCH] Announce this head: the pull request was opened after its push, which the announcer misses (hq issue 347)