Closed chrisn closed 1 year ago
See https://github.com/w3c/strategy/issues/378#issuecomment-1782303341:
<dl>
I'm OK with all the proposed fixes, and will merge this PR.
Thanks a lot, @chrisn !
See https://github.com/w3c/strategy/issues/378#issuecomment-1782303341:
<dl>