Re: [w3c/permissions] Editorial: fix tidy errors (PR #434) from Alex Rudenko on 2024-01-12 (public-webapps-github@w3.org from January 2024)

From: Alex Rudenko <notifications@github.com>
Date: Fri, 12 Jan 2024 07:28:52 -0800
To: w3c/permissions <permissions@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/permissions/pull/434/push/16615090628@github.com>

@OrKoN pushed 1 commit.

6f87c6b4aa31394951cdf7f3e6c2223c59cc09eb  Tidy up

-- 
View it on GitHub:
https://github.com/w3c/permissions/pull/434/files/69cb239ef5e24e779a55fe74af9833b95b5c1176..6f87c6b4aa31394951cdf7f3e6c2223c59cc09eb
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/434/push/16615090628@github.com>

Received on Friday, 12 January 2024 15:28:57 UTC