From 76673cb5537706c4de49ffa172fea7f75ed4b32e Mon Sep 17 00:00:00 2001
From: Muhammad Zaheer <me@nmzaheer.in>
Date: Thu, 8 Sep 2022 09:00:39 +0530
Subject: [PATCH] Time format in SerialMonitor changed.Fixes #580

---
 .../src/browser/serial/monitor/serial-monitor-send-output.tsx   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx b/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx
index 2e85025fb..136180202 100644
--- a/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx
+++ b/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx
@@ -109,7 +109,7 @@ const _Row = ({
 }) => {
   const timestamp =
     (data.timestamp &&
-      `${dateFormat(data.lines[index].timestamp, 'H:M:ss.l')} -> `) ||
+      `${dateFormat(data.lines[index].timestamp, 'HH:MM:ss.l')} -> `) ||
     '';
   return (
     (data.lines[index].lineLen && (