From b0e192db32bb0a3a0d47beb4805cc1d33b35dbb5 Mon Sep 17 00:00:00 2001
From: Boxuan Li <liboxuan@connect.hku.hk>
Date: Fri, 6 Oct 2023 10:13:08 -0700
Subject: [PATCH] Revert "Bump metrics.version from 4.2.19 to 4.2.20"

This reverts commit 58294e4adb64a15e38c263ddd5fe319e42866d9b.

Signed-off-by: Boxuan Li <liboxuan@connect.hku.hk>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 87682f2d7b..6e4175257e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -62,7 +62,7 @@
         <junit.version>5.10.0</junit.version>
         <mockito.version>4.11.0</mockito.version>
         <jamm.version>0.3.0</jamm.version>
-        <metrics.version>4.2.20</metrics.version>
+        <metrics.version>4.1.33</metrics.version>
         <slf4j.version>1.7.36</slf4j.version>
         <logback.version>1.2.11</logback.version>
         <httpcomponents.httpclient.version>4.5.14</httpcomponents.httpclient.version>