bug#63162: closed (Copyright line in Texinfo documentation)

[GNU bug Tracking System]

Your message dated Fri, 19 May 2023 12:03:01 -0700
with message-id 
<CAFHYt54U2+rTgK3+o7AX2KZnA21VM3EMU=X=pdf-bUc7JBMMHw@mail.gmail.com>
and subject line Patch submitted
has caused the debbugs.gnu.org bug report #63162,
regarding Copyright line in Texinfo documentation
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
63162: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63162
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Copyright line in Texinfo documentation
>
>
>
>
> Date: 
>
> Fri, 28 Apr 2023 18:22:52 -0700
>
>
>
>
> Hi,
>
> Should this line [1] in the documentation copyrights also end with the
> sequence '@*' for a line break [2] like the others?
>
>     Copyright @copyright{} 2023 Karl Hallsby
>
> Kind regards
> Felix Lechner
>
> [1] https://git.savannah.gnu.org/cgit/guix.git/tree/doc/guix.texi#n116
> [2] https://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#Line-Breaks
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Patch submitted
>
>
>
>
> Date: 
>
> Fri, 19 May 2023 12:03:01 -0700
>
>
>
>
> Hi,
>
> I received no response to my question but included a relevant patch
> after seeing a second such line together with other documentation
> patches in Bug#63575. [1]
>
> Kind regards
> Felix
>
> [1] https://issues.guix.gnu.org/63575
>
>
> --- End Message ---