Re: [device-posture] Fixes after renaming. (#62)

Thanks all, merging in preparation for the Working Draft publication.

-- 
GitHub Notification of comment by anssiko
Please view or discuss this issue at https://github.com/w3c/device-posture/pull/62#issuecomment-800099057 using your GitHub account


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

Received on Tuesday, 16 March 2021 09:28:48 UTC