bug#71253: [PATCH] doc: minor typo fix

[Nikolaos Chatzikonstantinou]

On Tue, May 28, 2024 at 11:30 PM Nikolaos Chatzikonstantinou
<nchatz...@gmail.com> wrote:
>
> See attachment.

Follow up on this?