Morning,

Gerald Pfeifer <gerald@pfeifer.com> writes:

> On Fri, 27 Jan 2023, Arsen Arsenović via Gcc-patches wrote:
>>  htdocs/texinfo-manuals.css | 129 +++++++++++++++++++++++++++++++++++++
>
> Thank you - I pushed this.
>
> +/* Texinfo documentation stylesheet.
> +   Inspired by the Gnulib manual, 2023-01-26.
> +
> +   Arsen Arsenović <arsen@aarsen.me>
>
> Can we rephrase this a bit? Something like "Contributed by" maybe, or 
> omitting the name (as we usually do - since I made sure it's in Git)?

Ah, sure.  Feel free to omit the name.  I was following the convention
established with me in GCC code.

Feel free to rephrase as you see fit.

Thanks in advance.
-- 
Arsen Arsenović