20 Mar
2023
20 Mar
'23
10:13 p.m.
On date Wednesday 2023-03-15 15:07:44 +0100, Anton Khirnov wrote:
--- doc/developer.texi | 38 ++++++++++++++++++++++++++++++++++++-- 1 file changed, 36 insertions(+), 2 deletions(-)
LGTM, thanks.