From 047296060f9ba7915718b4bc75becdf71619bea4 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Wed, 15 Jun 2022 15:28:57 +0200
Subject: [PATCH] Fix printing keybindings #8924 (brace/bracket mismatch)

---
 libs/gtkmm2ext/bindings.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/gtkmm2ext/bindings.cc b/libs/gtkmm2ext/bindings.cc
index 551c40f3fa..367f9d7537 100644
--- a/libs/gtkmm2ext/bindings.cc
+++ b/libs/gtkmm2ext/bindings.cc
@@ -923,7 +923,7 @@ Bindings::save_as_html (ostream& ostr, bool categorize) const
 				char const *replacements[] = { X_("-"), X_("+"), X_("-"), X_("."), X_("/"),
 				                               X_("`"), X_(","), X_("."), X_("*"), X_("\\"),
 				                               X_("'"), X_("-"), X_("+"), X_("/"), X_(";"),
-				                               X_(":"), X_("="), X_("{"), X_("{"),
+				                               X_(":"), X_("="), X_("["), X_("]"),
 				                               X_("&"), X_("#"), X_("("), X_(")"),
 				                               X_("`"), X_("'"), X_("!"), X_("\""),
 				};