Skip to content

Commit 7433089

Browse files
committed
Set 4387 to P3, same priority as the issue it duplicates
1 parent e2ef7d5 commit 7433089

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

xml/issue4387.xml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
</section>
1010
<submitter>Hewill Kang</submitter>
1111
<date>27 Sep 2025</date>
12-
<priority>99</priority>
12+
<priority>3</priority>
1313

1414
<discussion>
1515
<p>
@@ -27,6 +27,8 @@ Approved as Tentatively Ready, but this is a duplicate of <iref ref="3625"/>
2727
which will be resolved by <paper num="P3016R6"/>. So move Status New &rarr; Open.
2828
</p>
2929

30+
<note>2025-10-20; Set to same priority as <iref ref="3625"/> (i.e. P3).</note>
31+
3032
</discussion>
3133

3234
<resolution>

0 commit comments

Comments
 (0)