Date: Fri, 26 Feb 2021 05:05:57 +0100
On Fri, Feb 26, 2021 at 5:01 AM Miguel Ojeda
<miguel.ojeda.sandonis_at_[hidden]> wrote:
>
> This was already discussed in WG14 and it was voted to go with the new
> name and new interface.
To be clear: I welcome any feedback, but please let's focus the
liaison discussion on picking the preferred wording alternative as
stated in the description.
Cheers,
Miguel
<miguel.ojeda.sandonis_at_[hidden]> wrote:
>
> This was already discussed in WG14 and it was voted to go with the new
> name and new interface.
To be clear: I welcome any feedback, but please let's focus the
liaison discussion on picking the preferred wording alternative as
stated in the description.
Cheers,
Miguel
Received on 2021-02-25 22:06:10