Date: Fri, 20 Jan 2023 08:05:45 +0100
Dear all,
Even if it looks anecdotal, I would like to suggest support for unicode
right arrow character → as a valid substitution for ->.
best,
Julien.
Even if it looks anecdotal, I would like to suggest support for unicode
right arrow character → as a valid substitution for ->.
best,
Julien.
Received on 2023-01-20 07:05:48