Patch for version.texi?

[Nick Clifton]

Hi Vladimir,

> -@set UPDATED 14 April 2022
> -@set UPDATED-MONTH April 2022
> +@set UPDATED 17 April 2023
> +@set UPDATED-MONTH April 2023

> My questions:
>    Should I update gprofng/doc/version.texi now ?

Well my sources show that it has already been updated to 18 April 2023,
so I guess that this question is moot.

>    Should I update gprofng/doc/version.texi in [2.41] or the file will be updated automatically.

It will be updated automatically.

One of the steps involved in creating the 2.41 release is to rebuild
all of the sources with maintainer mode enabled.

Cheers
   Nick