|
From: | ********** |
Subject: | Re: Syntax |
Date: | Fri, 6 Jul 2018 00:02:15 +0200 |
Thomas Morley <address@hidden> writes:
> 2018-07-05 22:48 GMT+02:00 David Kastrup <address@hidden>:
>>
>> Seen the issue, but by the way, it's also "hihat" in our definitions.
>
> True, otoh we have highfloortom and hightom ..
Ugh. I still vote for just the doc change for now.
--
David Kastrup
[Prev in Thread] | Current Thread | [Next in Thread] |