From 4baa9e9d7cae8f5bed7e948be1bbf89ff5f86b80 Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Sun, 25 Sep 2022 20:10:24 +0200
Subject: [PATCH] Mention bundeswehr.de filter in the user manual

---
 doc/source/user-manual.sgml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/source/user-manual.sgml b/doc/source/user-manual.sgml
index 90cb91a4..651a5662 100644
--- a/doc/source/user-manual.sgml
+++ b/doc/source/user-manual.sgml
@@ -4465,6 +4465,10 @@ another.example.com/testing
     <anchor id="filter-no-ping">
    </para>
     <screen>+filter{no-ping}             # Removes non-standard ping attributes in &lt;a&gt; and &lt;area&gt; tags.</screen>
+   <para>
+    <anchor id="filter-bundeswehr.de">
+   </para>
+    <screen>+filter{bundeswehr.de}      # Hide the cookie and privacy info banner on bundeswehr.de.</screen>
    <para>
     <anchor id="filter-github">
    </para>
-- 
2.39.2