Re: [w3c/permissions] Rename PermissionName enum to PowerfulFeatureName (#286) from Marcos Cáceres on 2021-10-26 (public-webapps-github@w3.org from October 2021)

From: Marcos Cáceres <notifications@github.com>
Date: Mon, 25 Oct 2021 23:32:49 -0700
To: w3c/permissions <permissions@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/permissions/pull/286/push/8237364714@github.com>

@marcoscaceres pushed 1 commit.

ff6bc88e2ec45b5dca098e57597f32439fb8f529  Merge branch 'main' into rename_permission_name


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/permissions/pull/286/files/fd820d974b048add61334af7e844318ea6ce16b1..ff6bc88e2ec45b5dca098e57597f32439fb8f529

Received on Tuesday, 26 October 2021 06:33:02 UTC