Re: [device-posture] editorial: Do not define Navigator, just reference it (#116)

Oops, wrong base branch, let me send another PR.

-- 
GitHub Notification of comment by rakuco
Please view or discuss this issue at https://github.com/w3c/device-posture/pull/116#issuecomment-1986136829 using your GitHub account


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

Received on Friday, 8 March 2024 17:44:01 UTC