From f7fd8f6599a52f00a757e1c2fa7ee12847af8af6 Mon Sep 17 00:00:00 2001
From: "http4s-steward[bot]"
 <106843772+http4s-steward[bot]@users.noreply.github.com>
Date: Mon, 15 Jul 2024 20:19:59 +0000
Subject: [PATCH] Update sbt-typelevel to 0.7.2

---
 project/plugins.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/plugins.sbt b/project/plugins.sbt
index f5c3f6a..c43ff0e 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -1,2 +1,2 @@
-addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.4.7")
+addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.7.2")
 addSbtPlugin("org.foundweekends.giter8" %% "sbt-giter8" % "0.14.0")