[jed-users] Use UTF-8 encoding in file lib/iso2xxx.sl

[Rafael Laboissière <rafael@xxxxxxxxxx>]

Dear JED developers,

In the Debian package for JED, we are applying the patch attached to this 
message, which converts file lib/iso2xxx.sl to the UTF-8 encoding.

Please, consider integrating this change in the next release tarball.

Best,

Rafael Laboissière

Description: Use UTF-8 encoding in comments in file lib/iso2xxx.sl
Author: Rafael Laboissière <rafael@xxxxxxxxxx>
Forwarded: no
Last-Update: 2021-09-20

--- a/lib/iso2xxx.sl
+++ b/lib/iso2xxx.sl
@@ -1,12 +1,12 @@
 % Thanks to torres@xxxxxx for the bulk of this
 _debug_info = 1;
 private variable ISO_Latin_Chars =
-strcat ("\d225\d233\d237\d243\d250\d193\d201\d205\d211\d218", % "áéíóúÁÉÍÓÚ"
-	 "\d224\d232\d236\d242\d249\d192\d200\d204\d210\d217", % "àèìòùÀÈÌÒÙ"
-	 "\d226\d234\d238\d244\d251\d194\d202\d206\d212\d219", % "âêîôûÂÊÎÔÛ"
-	 "\d228\d235\d239\d246\d252\d196\d203\d207\d214\d220", % "äëïöüÄËÏÖÜ"
-	 "\d161\d191\d231\d199\d241\d209\d230\d198",           % "¡¿çÇñÑæÆ"
-	 "\d248\d216\d229\d197\d223");                          % "øØåÅß"
+strcat ("\d225\d233\d237\d243\d250\d193\d201\d205\d211\d218", % "áéíóúÁÉÍÓÚ"
+	 "\d224\d232\d236\d242\d249\d192\d200\d204\d210\d217", % "à èìòùÀÈÌÒÙ"
+	 "\d226\d234\d238\d244\d251\d194\d202\d206\d212\d219", % "âêîôûÂÊÎÔÛ"
+	 "\d228\d235\d239\d246\d252\d196\d203\d207\d214\d220", % "äëïöüÄËÏÖÜ"
+	 "\d161\d191\d231\d199\d241\d209\d230\d198",           % "¡¿çÇñÑæÆ"
+	 "\d248\d216\d229\d197\d223");                          % "øØåÅß"
 
 private variable ISO_TeX_Chars =
   strcat ("\\'a,\\'e,\\'{\\i},\\'o,\\'u,\\'A,\\'E,\\'I,\\'O,\\'U,",