On 2013-04-18 17:01:55 +0000, Michelle Steiner said:
> In article <2013041809332792532-xxx@yyyzzz>, gtr <x...@yyy.zzz> wrote:
>
>>> Although, I can't wait to see what they come up with as a nickname
>>> for 10.10...
>>
>> As 10.1 would be the same as 10.100000000, they've already been there,
>> it was called Puma.
>
> Except that it's not decimal numbers; the dot is merely a separator.
Yeah, I've been through this "discussion" before. If you think after
10.9 they'd issue a 10.10, I doubt that prediction.