[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57846: [PATCH] Update Unicode Support to Unicode Version 15.0.0.
From: |
Eli Zaretskii |
Subject: |
bug#57846: [PATCH] Update Unicode Support to Unicode Version 15.0.0. |
Date: |
Sat, 17 Sep 2022 09:53:18 +0300 |
> From: समीर सिंह Sameer Singh <lumarzeli30@gmail.com>
> Date: Fri, 16 Sep 2022 17:35:31 +0530
> Cc: 57846@debbugs.gnu.org
>
> Are these two additions really needed? The first one is just a
> literal copy, and the second one is a trivial transformation that's
> supposed to be handled by this rule:
>
> gsub(/ /, "-", name)
>
> Am I missing something?
>
> Other than that, LGTM.
>
> I have removed them.
Thanks, I installed the changeset.
In the future, please don't forget to mention the bug number in the
commit log message.
Thanks again for doing this.
bug#57846: [PATCH] Update Unicode Support to Unicode Version 15.0.0., Robert Pluim, 2022/09/16