On 01/11/2021 13:19, G. Branden Robinson wrote: > gbranden pushed a commit to branch master > in repository groff. > > commit a0ec5ffd258b9f54daa46b88471ec837e8213ad1 > Author: Bjarni Ingi Gislason <bjarn...@rhi.hi.is> > AuthorDate: Sun Oct 31 00:42:09 2021 +0000 > > tbl(1): Say decimal "separator", not "point".
Surely, the correct English-language terminology is "radix point", (and where the radix is "decimal", this becomes "decimal point"). It is irrelevant whether the prevailing convention, of the user's locale, is to represent the radix point by a comma, or a period, we do *not* refer to a "decimal comma", or a "decimal period", (or a "decimal dot"); the correct terminology is "decimal point". This change introduces invalid terminology, and should be reverted.
