Subject: Re: bug#25675: Errors in gnu manual 4.3

From: Assaf Gordon <[email-masked]>
Date: Tue, 9 Oct 2018 07:19:33 -0600

tags 25675 moreinfo
close 25675
stop

Hello,

With no further replies, I'm opting to close this bug report.
Discussion can continue by replying to this thread,
and we can re-open it when more details (or patches) are provided.

regards,
  - assaf