[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" HTML label
  by Nicholas Car
https://github.com/w3c/dxwg/commit/531335b38d366648fffdb7d43fcbbdf34a80b32f

Received on Monday, 19 November 2018 22:19:36 UTC