[deviceorientation] Pull Request: Editorial: use more bikeshed shorthands

• From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
• Date: Wed, 08 May 2024 01:17:03 +0000
• To: public-geolocation@w3.org
• Message-ID: <pull_request.opened-1859286848-1715131021-sysbot+gh@w3.org>

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

== Editorial: use more bikeshed shorthands ==
Couple more little fixes. No actual text changes. 

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


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

Received on Wednesday, 8 May 2024 01:17:04 UTC