From 1696e21527b1f28353bec260bd1bff3de15a24bf Mon Sep 17 00:00:00 2001
From: David Declerck <david.declerck@ocamlpro.com>
Date: Mon, 13 Jan 2025 23:31:47 +0100
Subject: [PATCH] Merge SVN 5121