PR merged. New spec text: https://gpuweb.github.io/gpuweb/wgsl/#identifier-comparison -- GitHub Notification of comment by xfq Please view or discuss this issue at https://github.com/w3c/i18n-activity/issues/1537#issuecomment-1124549063 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Thursday, 12 May 2022 05:36:14 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:47 UTC