Commit eaccb8cbc64c192942c160dd61439b6f9f769448

Paul Eggert 2021-08-26T16:15:25

regex: fix typo in previous patch Fix typo in previous patch. Somehow I managed to omit the main point of the patch....