Re: [w3c/permissions] Define a permission store (closes #384) (PR #390) from Johann Hofmann on 2022-11-30 (public-webapps-github@w3.org from November 2022)

From: Johann Hofmann <notifications@github.com>
Date: Wed, 30 Nov 2022 14:55:52 -0800
To: w3c/permissions <permissions@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/permissions/pull/390/push/11840818535@github.com>

@johannhof pushed 1 commit.

d7d4e63619bcdfae0713c3d6b44888a1282d465f  Fix for attribute

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

Message ID: <w3c/permissions/pull/390/push/11840818535@github.com>

Received on Wednesday, 30 November 2022 22:56:05 UTC