Re: [w3c/permissions] Editorial: fix tidy errors (PR #434)

@miketaylr rebased!

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/434#issuecomment-1889583085
You are receiving this because you are subscribed to this thread.

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

Received on Friday, 12 January 2024 16:14:59 UTC