Re: overfull box in printed toc with @/

[Gavin Smith]

On Wed, Sep 20, 2023 at 03:22:58PM -0600, Karl Berry wrote:
> Please push it out to ftp.gnu.org? --best, karl.

Done.