Re: [w3c/selection-api] chore(tidy): tidy up document (#140)

I don't think @github-actions triggers another GitHub action, so it could be another problem.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/selection-api/pull/140#issuecomment-859616116

Received on Friday, 11 June 2021 14:21:32 UTC