- From: Fuqiao Xue via GitHub <sysbot+gh@w3.org>
- Date: Tue, 16 Jan 2024 08:05:19 +0000
- To: public-i18n-archive@w3.org
The font has been removed from the CSS file. Closing. -- GitHub Notification of comment by xfq Please view or discuss this issue at https://github.com/w3c/string-search/issues/6#issuecomment-1893238725 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 16 January 2024 08:05:22 UTC