Re: [geolocation-api] repo name nit: it'd be nice if this were simply w3c/geolocation (#154) from Marcos Cáceres via GitHub on 2024-06-14 (public-device-apis-log@w3.org from June 2024)

From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
Date: Fri, 14 Jun 2024 06:49:20 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-2167341379-1718347758-sysbot+gh@w3.org>

Sent PR https://github.com/w3c/w3c.github.io/pull/124 

-- 
GitHub Notification of comment by marcoscaceres
Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/154#issuecomment-2167341379 using your GitHub account


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

Received on Friday, 14 June 2024 06:49:21 UTC