|
| From: | Jose E. Marchesi |
| Subject: | Re: Numerous small documentation changes. |
| Date: | Mon, 02 Dec 2019 18:13:00 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
If there are no objections to any of these, I'll squash them up and
push as one commit.
OK for master.
Thank you!
| [Prev in Thread] | Current Thread | [Next in Thread] |