[docs-and-reports] Merged Pull Request: Consensus write-up on "Optimization" Use Case

• From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
• Date: Mon, 30 Oct 2023 17:48:29 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-1392719547-1698688107-sysbot+gh@w3.org>

AramZS has just merged benjaminsavage's pull request 44 for https://github.com/patcg/docs-and-reports:

== Consensus write-up on "Optimization" Use Case ==
In our last meeting we reached general agreement that the group wants to support the "Optimization" use case. This is a write-up of that agreement.

See https://github.com/patcg/docs-and-reports/pull/44


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

Received on Monday, 30 October 2023 17:48:32 UTC