Incorrect thousand separator for the Greek locale (el)

[kappataumu]

The thousand separator for the Greek locale is a dot ("."), not a non-breaking space ("\xa0"). Other than being Greek, one can verify this like so:

import locale
locale.setlocale(locale.LC_ALL, "el_GR.UTF-8")
print(locale.nl_langinfo(locale.THOUSEP))

A related issue (https://code.djangoproject.com/ticket/23967) previously fixed a number of incorrect settings (see PR and discussion at ​https://github.com/django/django/pull/3696) but apparently this slipped through. Interestingly, the correct thousand separator is also documented in one of the links shared (see ​http://www.localeplanet.com/java/el-GR/).

I can submit a PR if desired.

[Tim Graham]

Sure, send a PR and have a colleague give it a +1.

[kappataumu]

PR sent: ​https://github.com/django/django/pull/7267. I've pinged @spapas for a +1.

[Tim Graham]

Good to go, pending a +1 from a Greek speaker.

[Claude Paroz]

On the pull request, there's a discussion between @kappataumu and @spapas, and they disagreement between various usages.

Tim said the space was used in ​https://en.wikipedia.org/wiki/Decimal_mark#Examples_of_use.
Extract of this same page:
Because of the confusion that could result in international documents, in recent years the use of spaces as separators has been advocated by the superseded SI/ISO 31-0 standard,[17] as well as by the International Bureau of Weights and Measures and the International Union of Pure and Applied Chemistry, which have also begun advocating the use of a "thin space" in "groups of three".

The el_GR POSIX locale and the Unicode CLDR use the dot.
​http://lh.2xlibre.net/locale/el_GR/
​http://www.unicode.org/cldr/charts/29/summary/el.html#3616

If I should decide, I think I'd choose the traditional/official dot character. Of course, it would be better to reach some agreement between Greek nationals.

[Tim Graham <timograham@…>]

In 9cfd060b:

Fixed #27244 -- Changed Greek's thousand separator from space to dot.