|
| From: | Bruno Haible |
| Subject: | Re: a doc typo |
| Date: | Tue, 13 Feb 2024 21:43:02 +0100 |
Jose E. Marchesi wrote: > OK for both master and maint/poke-4. Pushed. > (This really qualifies as obvious, > so please feel free to push changs like this at your discretion.) Nope, I won't push anything into the poke repository that has not been reviewed. Bruno
| [Prev in Thread] | Current Thread | [Next in Thread] |