On 03/15/2018 12:15 AM, Assaf Gordon wrote:
Technically it's an easy fix (patch attached),
but it changes a long-standing behavior.
Yes, that's a problem. Perhaps we should take the last unit requested in
the output format, divide that by two, and add that to the time instead.
If the output
On 15/03/18 00:15, Assaf Gordon wrote:
> Hello,
>
> On Wed, Mar 14, 2018 at 05:22:04PM -0700, Paul Eggert wrote:
>> On 03/13/2018 06:42 PM, Assaf Gordon wrote:
>>> Therefore it is always recommended to use noon (12pm)
>>> as explicit time when adjusting days
>>
>> Maybe "date" should default to
Hello,
On Wed, Mar 14, 2018 at 05:22:04PM -0700, Paul Eggert wrote:
> On 03/13/2018 06:42 PM, Assaf Gordon wrote:
> >Therefore it is always recommended to use noon (12pm)
> >as explicit time when adjusting days
>
> Maybe "date" should default to 12:00 instead of to 00:00 when the time is
> not
