Set 4380 to P3, seven P0 and one objection

Author: tomaszkam

xml/issue4380.xml

@@ -9,7 +9,7 @@
 </section>
 <submitter>Matt Bentley</submitter>
 <date>23 Sep 2025</date>
-<priority>99</priority>
+<priority>3</priority>
 
 <discussion>
 <p>
@@ -28,6 +28,15 @@ No-one has objected to this before, but if you want to, please speak up.
 <p/>
 Anyway, the <i>Complexity</i> of `reserve()` does not presently reflect this ability.
 </p>
+
+<note>2025-10-22; Reflector poll.</note>
+<p>
+Set priority to 3 after reflector poll.
+</p>
+<p>
+An explicit objection was raised that the <i>Effects:</i> should state
+whether `reserve()` is allowed, or even required, to deallocate blocks.
+</p>
 </discussion>
 
 <resolution>