Commit dc1766ba035e05b449e289a7789c5589e185733d

Paul Eggert 2024-12-11T12:24:09

doc: fix typo in previous patch