From e361282f5eff2819d806fb1524439781f52a7268 Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Mon, 4 Sep 2023 22:05:21 +0200
Subject: [PATCH] Irrelevant part of #12882 amending 9e8901f997f0b27.

Patch from Udi.
---
 lib/languages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/languages b/lib/languages
index 760a1ff640..315707742b 100644
--- a/lib/languages
+++ b/lib/languages
@@ -13,7 +13,7 @@
 #	XindyName          <xindyname>
 #	ActiveChars        <activated characters>
 #	QuoteStyle         <british|danish|english|french|frenchin|
-#                           german|polish|russian|swedish|swedishg|swiss|plain>
+#                           german|polish|russian|swedish|swedishg|swiss|hebrew|plain>
 #     	DateFormats        "<long>|<medium>|<short>"
 #	Encoding           <encoding>
 #	FontEncoding       <font encoding|font encoding|...>