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

From: Marcos Cáceres <notifications@github.com>
Date: Tue, 31 Aug 2021 16:49:07 -0700
To: w3c/permissions <permissions@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/permissions/pull/286/push/7839170153@github.com>

@marcoscaceres pushed 1 commit.

febcd0ac38702ae2fb0f3819324ed566a2e1350e  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/267501bc061df5ef1ad5e069fcbc0dcd69b16b0e..febcd0ac38702ae2fb0f3819324ed566a2e1350e

Received on Tuesday, 31 August 2021 23:49:20 UTC