Skip to content

Commit

Permalink
Remove duplicated issue marker for 1437.
Browse files Browse the repository at this point in the history
  • Loading branch information
msporny committed Jun 1, 2024
1 parent 9ecd2c1 commit 796dae1
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -3938,13 +3938,6 @@ <h3>Reserved Extension Points</h3>
reserved property. For more information related to adding `type` information,
see Section <a href="#types"></a>.
</p>
<p class="issue atrisk" data-number="1437" title="Extension points under consideration by the Working Group">
The working group is discussing if additional extension points
will be reserved in <a href="https://www.w3.org/ns/credentials/v2">https://www.w3.org/ns/credentials/v2</a>.
<br/><br/>
The working group currently plans to only reserve extension points that
have at least a draft specification that is being incubated in a community group.
</p>

<table class="simple">
<thead>
Expand Down

0 comments on commit 796dae1

Please sign in to comment.