|
| From: | Ludovic Courtès |
| Subject: | Re: valgrind |
| Date: | Mon, 30 Jan 2023 22:46:56 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi! The two ‘/interactive’ versions can probably be merged; I don’t think there was a good reason to keep 3.17. Thanks, Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |