Commit f3eeabad2b3645fdbfbf60449d93e978b7abcfb8

Paul Eggert 2024-08-15T06:01:18

Add ChangeLog entry for last commit.