bug#36717: 25.3; greek.el: deprecated vowel+oxia combinations should be replaced with vowel+tonos counterparts

[Robert Pluim]

>>>>> On Thu, 18 Jul 2019 19:32:52 +0200, Robert Alessi 
>>>>> <alessi@robertalessi.net> said:
    >> I took a look at greek.el, that shouldn't be difficult. What about
    >> GREEK OXIA vs GREEK TONOS as standalone characters? Should we replace
    >> the former with the latter?

    Robert> Very well spotted.  Actually, the latter is the right one—that is:
                                              ^^^^^^
    Robert> Greek Tonos, U+0384—while the former, Greek Oxia (U+1FFD) belongs to
    Robert> the group that was deprecated.  So it is the other way round: keep 
the
    Robert> former, and make the latter go.
            ^^^^^^

Now Iʼm confused :-)

Currently greek.el input methods insert \u1ffd, rather than
\u0384. Which one do you want?

Robert