Re: space chars are lost in overfull lines

    The second line is slightly overfull
    and there the space chars are lost.

Thanh looked at it, see below. (The change is in the pdftex and tl repos.)
--thanks, karl.


Date: Thu, 18 Apr 2024 11:16:29 +0200
From: The Thanh Han <[email protected]>
To: Karl Berry <[email protected]>
Subject: Re: [pdftex] space chars are lost in overfull lines

I took a close look.  For some reason I don't know yet, the spaces in
the overfull line are slightly smaller (a few dozens of sp points) than
the expected limit space(f) - space_shrink(f)

I did a quick fix by allowing 1pt tolerance. Not
perfect but I think it should be ok for most cases.

Best,
Thanh