Subject: bug#63162: closed (Patch submitted)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 19 May 2023 19:04:02 +0000

Your bug report

#63162: Copyright line in Texinfo documentation

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
63162: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63162
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Patch submitted
From: Felix Lechner <[email-masked]>
To: [email-masked]
Date: Fri, 19 May 2023 12:03:01 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Subject: Copyright line in Texinfo documentation
From: Felix Lechner <[email-masked]>
To: [email-masked]
Date: Fri, 28 Apr 2023 18:22:52 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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