From e17e2e9340e9f67ea98aa1068298dfa855c09dae Mon Sep 17 00:00:00 2001
From: Matt Mundell <matt@mundell.me>
Date: Tue, 5 Sep 2023 10:53:54 +0200
Subject: [PATCH] Doc attribute skip_tags

---
 src/schema_formats/XML/GMP.xml.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/schema_formats/XML/GMP.xml.in b/src/schema_formats/XML/GMP.xml.in
index 664e350d1..a829ed89a 100644
--- a/src/schema_formats/XML/GMP.xml.in
+++ b/src/schema_formats/XML/GMP.xml.in
@@ -13245,6 +13245,11 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
         <summary>Whether to exclude refs of types cert-bund and dfn-cert</summary>
         <type>boolean</type>
       </attrib>
+      <attrib>
+        <name>skip_tags</name>
+        <summary>Whether to exclude user tags</summary>
+        <type>boolean</type>
+      </attrib>
       <attrib>
         <name>timeout</name>
         <summary>Whether to include the special timeout preference</summary>