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

CC=@OrKoN
R=@miketaylr, @marcoscaceres

This is a drive-by from https://github.com/w3c/permissions/pull/425

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

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

Received on Wednesday, 22 November 2023 13:08:25 UTC