|
From: | Stefan Monnier |
Subject: | Re: Towards a cleaner build: other output |
Date: | Fri, 21 Jun 2019 10:35:58 -0400 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
> I think... perhaps the latter two are disadvantages here. Then it makes sense to keep the internal-sounding name, I guess ;-) Stefan
[Prev in Thread] | Current Thread | [Next in Thread] |