From 6dd7e31f71e6c8aa9200f9af585c594db548e2fd Mon Sep 17 00:00:00 2001
From: Behdad Esfahbod <behdad@behdad.org>
Date: Tue, 31 May 2022 04:09:06 -0600
Subject: [PATCH] [util] Accept | as delimiter in Unicode parsing

---
 util/text-options.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/text-options.hh b/util/text-options.hh
index 5ea0a2d2f..3043efc40 100644
--- a/util/text-options.hh
+++ b/util/text-options.hh
@@ -127,7 +127,7 @@ encode_unicodes (const char *unicodes,
 		 GString    *gs,
 		 GError    **error)
 {
-#define DELIMITERS "<+->{},;&#\\xXuUnNiI\n\t\v\f\r "
+#define DELIMITERS "<+-|>{},;&#\\xXuUnNiI\n\t\v\f\r "
 
   char *s = (char *) unicodes;
   char *p;