Re: [w3c/permissions] Introduce Browser Permissions for WebDriver BiDi (PR #425)

@thiagowfx pushed 2 commits.

edd94bc0de74dc2026c654eeaec78b6ffa1f19fd  augment algorithm paragraph with types
2f2dfb25eaa47e2770015968f34e037b8b8c6dc8  fix algorithm variable highlighting

-- 
View it on GitHub:
https://github.com/w3c/permissions/pull/425/files/fcd4cb2285b8863a6165ca995ccbab6e52395feb..2f2dfb25eaa47e2770015968f34e037b8b8c6dc8
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/425/push/15925016079@github.com>

Received on Wednesday, 22 November 2023 12:50:17 UTC