W3C home > Mailing lists > Public > public-dxwg-wg@w3.org > October 2019

[dxwg] Pull Request: Resource Descriptor -> Profile Resource

From: Nicholas Car via GitHub <sysbot+gh@w3.org>
Date: Tue, 01 Oct 2019 15:02:07 +0000
To: public-dxwg-wg@w3.org
Message-ID: <pull_request.labeled-323322935-None-sysbot+gh@w3.org>
nicholascar has just labeled a pull request from nicholascar for https://github.com/w3c/dxwg as "profiles-vocabulary":

== Resource Descriptor -> Profile Resource ==
Following my preference in https://github.com/w3c/dxwg/issues/573#issuecomment-532172112, I've renamed `Resource Descriptor` to `Profile Resource` throughout PROF. 

I've also harmonised "Full Constraints" & "Constraints" to just "Constraints". I know Roles aren't settled but this was just to align things as there were needless differences: we can debate the Roles later.

See https://github.com/w3c/dxwg/pull/1109
Received on Tuesday, 1 October 2019 15:02:09 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 30 October 2019 00:15:58 UTC