|
| From: | Jose E. Marchesi |
| Subject: | Re: [PATCH] bootstrap: add hooks for user-defined command-line options |
| Date: | Mon, 23 Nov 2020 07:32:50 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Thanks, I installed that in your name. Thank you.
| [Prev in Thread] | Current Thread | [Next in Thread] |