[dxwg] new commits pushed by nicholascar

The following commits were just pushed by nicholascar to https://github.com/w3c/dxwg:

* "profile of" -> "is profile of" label
  by Nicholas Car
https://github.com/w3c/dxwg/commit/e752d3ff10f20470f6d834aa8a4524a30b457d8b

* typo fix only

"profile of" -> "is profile of" label
  by Nicholas Car
https://github.com/w3c/dxwg/commit/ff519ff8b4ae13df15e437344cfc9bf27ebbd5fe

Received on Thursday, 22 November 2018 23:28:12 UTC