From faca99b6bfa45b7fd325ed076cac4ec99d7d9bc4 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)