Re: [whatwg/webidl] Editorial: use cite element in IPR section (PR #1076)

Merged #1076 into main.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1076#event-5756893138

Received on Monday, 13 December 2021 13:32:37 UTC