Closed: [adpt] Add a profile designator (#15)

• From: Nigel Megitt via GitHub <sysbot+gh@w3.org>
• Date: Fri, 21 Jul 2023 16:46:37 +0000
• To: public-tt@w3.org
• Message-ID: <issues.closed-455293249-1689957995-sysbot+gh@w3.org>

nigelmegitt closed this issue. See https://github.com/w3c/adpt/issues/15

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

Received on Friday, 21 July 2023 16:46:39 UTC