From e8e6cb71aec0de1f5758ac21327bb8cd69e33731 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 1 Jul 2025 23:09:09 +0200 Subject: [PATCH] Release 0.23.2 -- 2.47.3