Re: [w3c/permissions] Editorial: add <div class="algorithm"> in missing places (PR #427)

@miketaylr pushed 1 commit.

938d446e91289addb43fad34da0de1c6dc2d28f2  Editorial: run tidy

-- 
View it on GitHub:
https://github.com/w3c/permissions/pull/427/files/db9945e1dbacb57ba05a2797b04708c22f18fea8..938d446e91289addb43fad34da0de1c6dc2d28f2
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/427/push/15927601176@github.com>

Received on Wednesday, 22 November 2023 15:41:19 UTC