15 Jul
2018
15 Jul
'18
12:13 p.m.
On 07/15/2018 08:02 PM, Hans Hagen wrote:
Depends on Wolfgangs and Thomas assessment
What does the "parent = XXX" definition actually do? I remember that we had a discussion about ancient greek sorting some while ago, and the point was moot, more or less. But I don't have a strong opinion on that question either way. Thomas