* Laszlo Ersek (ler...@redhat.com) wrote:
> The current timestamp format doesn't help me visually notice small jumps
> in time ("small" as defined on human scale, such as a few seconds or a few
> ten seconds). Replace it with a local time format where such differences
> stand out.
>
> Before:
>
>
On 12/08/20 17:57, Vivek Goyal wrote:
> On Tue, Dec 08, 2020 at 06:50:43AM +0100, Laszlo Ersek wrote:
>> The current timestamp format doesn't help me visually notice small jumps
>> in time ("small" as defined on human scale, such as a few seconds or a few
>> ten seconds). Replace it with a local ti
On Tue, Dec 08, 2020 at 06:50:43AM +0100, Laszlo Ersek wrote:
> The current timestamp format doesn't help me visually notice small jumps
> in time ("small" as defined on human scale, such as a few seconds or a few
> ten seconds). Replace it with a local time format where such differences
> stand ou
The current timestamp format doesn't help me visually notice small jumps
in time ("small" as defined on human scale, such as a few seconds or a few
ten seconds). Replace it with a local time format where such differences
stand out.
Before:
> [13316826770337] [ID: 0004] unique: 62, opcode: REL