W3C home > Mailing lists > Public > public-geolocation@w3.org > July 2020

Re: [deviceorientation] PermissionState is already defined in Permission API (#82)

From: Philip Jägenstedt via GitHub <sysbot+gh@w3.org>
Date: Tue, 21 Jul 2020 17:51:10 +0000
To: public-geolocation@w3.org
Message-ID: <issue_comment.created-662012261-1595353869-sysbot+gh@w3.org>
I've sent https://github.com/w3c/deviceorientation/pull/88 to fix this.

-- 
GitHub Notification of comment by foolip
Please view or discuss this issue at https://github.com/w3c/deviceorientation/issues/82#issuecomment-662012261 using your GitHub account
Received on Tuesday, 21 July 2020 17:51:12 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 21 July 2020 17:51:12 UTC