- From: Sean Turner via GitHub <sysbot+gh@w3.org>
- Date: Thu, 07 Apr 2022 15:27:53 +0000
- To: public-patcg@w3.org
seanturner has just closed npdoty's pull request 10 for https://github.com/patcg/patcg.github.io: == briefer chair selection: by consensus == alternative resolution for issue #1 See https://github.com/patcg/patcg.github.io/pull/10 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 7 April 2022 15:27:54 UTC