[geolocation-api] Pull Request: chore: put in updatable rec infra

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

== chore: put in updatable rec infra ==
Closes #148 

See https://github.com/w3c/geolocation-api/pull/149


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

Received on Thursday, 11 April 2024 03:20:25 UTC