[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23698: 24.5; broken character name
From: |
Eli Zaretskii |
Subject: |
bug#23698: 24.5; broken character name |
Date: |
Mon, 06 Jun 2016 22:00:31 +0300 |
> Cc: 23698-done@debbugs.gnu.org, Eli Zaretskii <eliz@gnu.org>,
> Kenichi Handa <handa@gnu.org>
> From: Paul Eggert <eggert@cs.ucla.edu>
> Date: Mon, 6 Jun 2016 10:49:12 -0700
>
> > we have it since 1997, i.e. before
> > we started using the UCD for these purposes. So I think we can either
> > remove it or use a property that doesn't clash with the Unicode
> > standard properties.
> It appears to be unnecessary these days, so I removed it in the attached
> patch to master and am marking the bug as done. If I'm wrong and we need
> it we can use a different property as you suggest.
I'd still like to hear Handa-san's opinions on this.