Skip to end of banner Go to start of banner

June 2023

Skip to end of metadata

Created by João Brilhante on Jun 07, 2023

Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

June 7th 2023

Added

Users are able to use the Unicode right arrow symbol (→) instead of the ASCII right arrow (->) in the search syntax. This should simplify the input and improve the readability of some search queries.

No labels