- From: Nick Schonning via GitHub <sysbot+gh@w3.org>
- Date: Thu, 11 Feb 2021 19:53:15 +0000
- To: public-css-archive@w3.org
No problem. Looking at other files in the repo, they have a `.bsi` or `.txt` extension. Should it maybe be renamed? -- GitHub Notification of comment by nschonni Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/5982#issuecomment-777749068 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 11 February 2021 19:53:17 UTC