|
From: | Jose E. Marchesi |
Subject: | Re: [PATCH 1/5] Fix typo in documentation |
Date: | Mon, 11 Nov 2019 15:04:13 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
2019-11-11 John Darrington <address@hidden> * doc/poke.texi (The REPL): Fix typo OK for master. Thanks!
[Prev in Thread] | Current Thread | [Next in Thread] |