From 67185a8e7ec921d11b93d2f80203268979f368c0 Mon Sep 17 00:00:00 2001
From: Mark Seemann <mark@ploeh.dk>
Date: Fri, 7 Jun 2024 08:40:57 +0200
Subject: [PATCH] Correct comment date and time

The time seemed to be off by more than half a day compared to the commit
time. I have, as I usually do, used the pull request time instead, since
this indicates a time when the proposed edit became visible to the
public.
---
 _posts/2024-06-03-youll-regret-using-natural-keys.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2024-06-03-youll-regret-using-natural-keys.html b/_posts/2024-06-03-youll-regret-using-natural-keys.html
index b8509bbc..f0345a94 100644
--- a/_posts/2024-06-03-youll-regret-using-natural-keys.html
+++ b/_posts/2024-06-03-youll-regret-using-natural-keys.html
@@ -226,6 +226,6 @@ <h2 id="comments-header">
                 I just think it generally makes sense to have a pair of internal and external keys for most cases.
             </p>
         </div>
-        <div class="comment-date">2024-06-06 11:04 UTC</div>
+        <div class="comment-date">2024-06-07 3:31 UTC</div>
     </div>
  </div>