[patcg.github.io] Merged Pull Request: add link to join from Aram Zucker-Scharff via GitHub on 2022-04-07 (public-patcg@w3.org from April 2022)

From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
Date: Thu, 07 Apr 2022 15:30:37 +0000
To: public-patcg@w3.org
Message-ID: <pull_request.closed-899329723-1649345435-sysbot+gh@w3.org>

AramZS has just merged seanturner's pull request 14 for https://github.com/patcg/patcg.github.io:

== add link to join ==
Resolves #13.

See https://github.com/patcg/patcg.github.io/pull/14


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

Received on Thursday, 7 April 2022 15:30:39 UTC