Re: [device-posture] Rename "posture modes" to "posture types" (#64) from Anssi Kostiainen via GitHub on 2021-03-17 (public-device-apis-log@w3.org from March 2021)

From: Anssi Kostiainen via GitHub <sysbot+gh@w3.org>
Date: Wed, 17 Mar 2021 11:36:21 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-801012426-1615980980-sysbot+gh@w3.org>

I think this was addressed by https://github.com/w3c/device-posture/pull/65/ (thanks @beaufortfrancois for that PR!).

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


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

Received on Wednesday, 17 March 2021 11:36:24 UTC