In logs, use microsecond rather than millisecond granularity for timestamps

Title

CI (CFBot)

Not processed

Stats (from CFBot)

Unknown

Tags

Monitoring

Created

2022-06-13 14:10:11

Last modified

2022-08-02 18:27:24 (3 years ago)

Latest email

2022-06-20 17:19:05 (3 years ago)

Status

2022-07 (2022-07-01 – 2022-07-31): Returned with feedback

Target version

Authors

David Fetter (dfetter)

Reviewers

Committer

Links

Emails

Finer grain log timestamps: First at 2022-05-08 20:44:51 by David Fetter <david at fetter.org>
Latest at 2022-06-20 17:19:05 by Isaac Morland <isaac.morland at gmail.com>
Latest attachment (v3-0001-Change-log-timestamps-from-milli-to-microseconds.patch) at 2022-06-13 07:03:27 from David Fetter <david at fetter.org>

Attachment (v3-0001-Change-log-timestamps-from-milli-to-microseconds.patch) at 2022-06-13 07:03:27 from David Fetter <david at fetter.org> (Patch: Yes)
    Attachment (v2-0001-Change-log-timestamps-from-milli-to-microseconds.patch) at 2022-05-08 22:02:22 from David Fetter <david at fetter.org> (Patch: Yes)
    Attachment (v1-0001-Change-log-timestamps-from-milli-to-microseconds.patch) at 2022-05-08 20:44:51 from David Fetter <david at fetter.org> (Patch: Yes)

History

When	Who	What
2022-08-02 18:27:24	Jacob Champion (jchampion)	Closed in commitfest 2022-07 with status: Returned with feedback
2022-07-03 21:00:26	Tom Lane (tgl)	New status: Waiting on Author
2022-06-13 14:10:36	David Fetter (dfetter)	Changed authors to David Fetter (dfetter)
2022-06-13 14:10:36	David Fetter (dfetter)	Changed targetversion to 16
2022-06-13 14:10:11	David Fetter (dfetter)	Attached mail thread 20220508204451.GC11333@fetter.org
2022-06-13 14:10:11	David Fetter (dfetter)	Created patch record