I am happy to see that the Japanese definition dictionary (dated 21.11.2012) has been modified as I suggested in the first post of this thread. I do not know whether this was in response to this thread or whether it is a case of coincidence. Anyway, I am thankful for the change and like to say thank you to all decision makers and developers involved.
|