Subject: [bug#29392] [PATCH 00/11] New scons build system

From: Leo Famulari <[email-masked]>
Date: Sat, 25 Nov 2017 11:05:02 -0500

On Wed, Nov 22, 2017 at 02:11:15PM +0530, Arun Isaac wrote:
> In the copyright headers of doc/guix.texi, do I need to add @* to the end of
> the line?

Yes, please add it to the penultimate line. That is, the one above
yours.