Typo

Open ElyesH opened this issue 2 years ago • 1 comments

Nov 01 '23 07:11 ElyesH

ping

Jan 12 '24 08:01 ElyesH

Looks like many of these have been pushed. Since the remainder do contain user-visible changes, I'm pushing them. However, there's many non-visble changes (eg just to comments) that I'm only merging because I'm doing the others. We've recently updated our policies to avoid most typo changes that aren't user-visible. So I'm landing the rest. c384235c1633

Apr 11 '24 17:04 bsdimp