From 3ac1944168e4baf1f3b6ad231fd079645aae473b Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 21 Oct 2026 16:17:00 +0200 Subject: [PATCH] Announce the pull request's head again, so its delivery is made with its base and asks the Approve (issue 1726; tree unchanged)