[deviceorientation] Pull Request: Improve syntax highlighting from Thomas Steiner via GitHub on 2022-09-15 (public-geolocation@w3.org from September 2022)

From: Thomas Steiner via GitHub <sysbot+gh@w3.org>
Date: Thu, 15 Sep 2022 18:33:18 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-1057748848-1663266796-sysbot+gh@w3.org>

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

== Improve syntax highlighting ==
- Indentation
- JS != JSON

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


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

Received on Thursday, 15 September 2022 18:33:20 UTC