On Thursday, 7 October 2021 at 18:00:17 UTC, Imperatorn wrote:

Oh, now I see. Sorry. I think that might depend on OS version iirc. Sidenote: shouldn't you use the unicode variant? 🤔

Why? It shouldn't matter for this purpose.

Reply via email to