From ab499ce8586261fa00e8f2b36cc5b8cba9a02445 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20D=C3=BCsterhus?= <tim@bastelstu.be>
Date: Sun, 3 Nov 2024 20:12:22 +0100
Subject: [PATCH] gmp: GMP is marked final

---
 reference/gmp/gmp.xml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/reference/gmp/gmp.xml b/reference/gmp/gmp.xml
index 96587eb91da6..95348f079a7c 100644
--- a/reference/gmp/gmp.xml
+++ b/reference/gmp/gmp.xml
@@ -28,6 +28,7 @@
 
    <classsynopsis class="class">
     <ooclass>
+     <modifier>final</modifier>
      <classname>GMP</classname>
     </ooclass>
 
@@ -40,6 +41,28 @@
     </xi:include>
    </classsynopsis>
   </section>
+
+  <section role="changelog">
+   &reftitle.changelog;
+   <informaltable>
+    <tgroup cols="2">
+     <thead>
+      <row>
+       <entry>&Version;</entry>
+       <entry>&Description;</entry>
+      </row>
+     </thead>
+     <tbody>
+      <row>
+       <entry>8.4.0</entry>
+       <entry>
+        <classname>GMP</classname> is now marked <modifier>final</modifier>
+       </entry>
+      </row>
+     </tbody>
+    </tgroup>
+   </informaltable>
+  </section>
  </partintro>
 
  &reference.gmp.entities.gmp;