Link 4156 to P3395R1

jwakely · jwakely · commit 9477a0450491 · 2025-03-12T22:42:07.000Z
diff --git a/xml/issue4156.xml b/xml/issue4156.xml
@@ -76,6 +76,9 @@ should be comprehensively addressed in a paper rather than as a patchwork of
 individual issues."
 </p>
 
+<note>2025-03-12; update from SG16</note>
+<p>Would be resolved by <paper num="P3395R1"/>.</p>
+
 </discussion>
 
 <resolution>
