Re: [PATCH 2/2] Allow check-mark to be changed for CLI

Tom Tromey
2025-06-11T13:57:29Z

>>>>> "Kévin" == Kévin Le Gouguec <legouguec@adacore.com> writes:

Kévin> Notably absent: 2713? So 2714 does vary with (✔️) & without (✔) VS-16,
Kévin> but not 2713?

I ended up going with 2714 plus the emoji presentation character.

Tom