From ab802e0550436b593cd8d7f1030e54a87c0672fa Mon Sep 17 00:00:00 2001
From: Pascal Quach <pascal.quach@centralesupelec.fr>
Date: Sun, 27 Oct 2024 11:13:33 +0100
Subject: [PATCH] Add missing group-heading-level in print-glossary docstring

---
 themes/default.typ | 1 +
 1 file changed, 1 insertion(+)

diff --git a/themes/default.typ b/themes/default.typ
index c6010a6..3352de4 100644
--- a/themes/default.typ
+++ b/themes/default.typ
@@ -870,6 +870,7 @@
 //  groups (array<str>): the list of groups to be displayed. `""` is the default group.
 //  show-all (bool): show all entries
 //  disable-back-references (bool): disable back references
+//  group-heading-level (int): force the level of the group heading
 //  ...
 //
 // # Warnings