Merge pull request #3233 from dbnicholson/sync-summary-times
authorColin Walters <walters@verbum.org>
Thu, 2 May 2024 00:23:59 +0000 (20:23 -0400)
committerGitHub <noreply@github.com>
Thu, 2 May 2024 00:23:59 +0000 (20:23 -0400)
Sync summary times


Trivial merge