[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: time-to-seconds and float-time
From: |
Paul Eggert |
Subject: |
Re: time-to-seconds and float-time |
Date: |
Tue, 02 Oct 2012 08:09:56 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120912 Thunderbird/15.0.1 |
On 10/02/2012 06:14 AM, Stefan Monnier wrote:
> I'm really tempted to inverse the situation: de-obsolete
> time-to-seconds, rename Ffloat_time to Ftime_to_seconds, and mark
> float-time as an obsolete alias instead.
Makes sense to me too.