On Wednesday, 18 May 2022 at 06:13:45 UTC, bauss wrote:

Considering the deprecation period has ended then IMO it should be able to be used as an identifier.

I would consider this a bug.

I hope this is a bug ;)

Reply via email to