Re: [w3c/IndexedDB] Editorial: Remove redundant ticks from <dfn event> text (PR #398)

Merged #398 into main.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/IndexedDB/pull/398#event-8663858570
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/IndexedDB/pull/398/issue_event/8663858570@github.com>

Received on Friday, 3 March 2023 22:07:05 UTC