Re: [clreq] Add search function to the Glossary (#478)

Merging per https://www.w3.org/2022/08/23-clreq-minutes.html#t04

-- 
GitHub Notification of comment by xfq
Please view or discuss this issue at https://github.com/w3c/clreq/pull/478#issuecomment-1227106656 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 25 August 2022 11:00:32 UTC