[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master ab3cb717a08: ; "time stamp" also can be spelled "timestamp"
|
From: |
Stephen Gildea |
|
Subject: |
Re: master ab3cb717a08: ; "time stamp" also can be spelled "timestamp" |
|
Date: |
Fri, 24 Jan 2025 08:59:32 -0800 |
Stefan Kangas <stefankangas@gmail.com> wrote:
> I don't know what is the justification for adding "timestamps" in
> addition to "time stamps", so I couldn't say which alternative is better
> here. I assumed it was about completion, or something?
More about searching than completion. An Info index search
for "timestamp" will not find "time stamp".
I have combined Eli's two index entry suggestions and
committed 0d38f1d07b2.
< Stephen