[deviceorientation] Pull Request: s/user agent/user agents/ in compassneedscalibration description. from Raphael Kubo da Costa via GitHub on 2022-06-10 (public-geolocation@w3.org from June 2022)

From: Raphael Kubo da Costa via GitHub <sysbot+gh@w3.org>
Date: Fri, 10 Jun 2022 14:12:12 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-964192097-1654870330-sysbot+gh@w3.org>

rakuco has just submitted a new pull request for https://github.com/w3c/deviceorientation:

== s/user agent/user agents/ in compassneedscalibration description. ==
None

See https://github.com/w3c/deviceorientation/pull/103


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

Received on Friday, 10 June 2022 14:12:13 UTC