j
k
j a
j l
That would really settle the issue, and end this rather irrelevant discussion.
Am 20.11.2019 um 00:36 schrieb Paul Eggert <eggert@cs.ucla.edu>: I'd rather follow Calcutta's precedent, which is to change the name with a backwards-compatibility link.
Am 20.11.2019 um 00:36 schrieb Paul Eggert <eggert@cs.ucla.edu>:
I'd rather follow Calcutta's precedent, which is to change the name with a backwards-compatibility link.
Back to the thread
Back to the list