On Mon, Nov 21, 2022 at 03:14:20PM +0100, Guillaume Lelarge wrote:
> While translating the new minor release docs, I've found an issue. Patch
> attached fixes this issue. The issue is only available on v11 and v12.
> Patch made on v11, but should also work on v12.
Indeed, applied to REL_12_STABLE and REL_11_STABLE. Thanks for the
report and the patch, Guillaume.
--
Michael