|
| From: | Greg Chicares |
| Subject: | Re: [lmi] Not urgent: a plausible micro-optimization |
| Date: | Fri, 23 Feb 2018 01:17:01 +0000 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 |
On 2018-02-22 23:26, Greg Chicares wrote: [...] > How about the following alternative? Committed (with a slight rearrangement), not to close discussion, but only so I could publish a release candidate.
| [Prev in Thread] | Current Thread | [Next in Thread] |