Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
* change suggestion by @rxgrant * Alternative proposal by @rxrant in response to @peacekeeper #448 (comment) * should -> must * Update 2023/did-wg.html Co-authored-by: Ivan Herman <[email protected]> * Update 2023/did-wg.html Co-authored-by: Joe Andrieu <[email protected]> --------- Co-authored-by: Ivan Herman <[email protected]> Co-authored-by: Joe Andrieu <[email protected]>
- Loading branch information