Re: [w3c/push-api] Tidied up document using tidy-html5 (PR #379) from github-actions[bot] on 2024-07-08 (public-webapps-github@w3.org from July 2024)

From: github-actions[bot] <notifications@github.com>
Date: Mon, 08 Jul 2024 06:43:55 -0700
To: w3c/push-api <push-api@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/push-api/pull/379/before/7cc0fa8ed75cb95847ef43d0637b5f82e9a59fa3/after/855>

@github-actions[bot] pushed 1 commit.

8554f162d6efd2f88130a5ee113f8e8a8044d1ca  chore(tidy): tidy up document

-- 
View it on GitHub:
https://github.com/w3c/push-api/pull/379/files/7cc0fa8ed75cb95847ef43d0637b5f82e9a59fa3..8554f162d6efd2f88130a5ee113f8e8a8044d1ca
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/pull/379/before/7cc0fa8ed75cb95847ef43d0637b5f82e9a59fa3/after/855>

Received on Monday, 8 July 2024 13:43:59 UTC