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-05-24 (public-geolocation@w3.org from May 2024)

From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
Date: Fri, 24 May 2024 00:19:34 +0000
To: public-geolocation@w3.org
Message-ID: <issue_comment.created-2128267030-1716509972-sysbot+gh@w3.org>

We should probably rename the spec to just "Geolocation" too, while we are at it. 

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


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

Received on Friday, 24 May 2024 00:19:34 UTC