From 462f1a3edea9c4b6aeee26fb2edcc16ae2d8310e Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 15 Jun 2023 13:08:02 +0000
Subject: [PATCH] Bump dotnet-coverage from 17.3.2 to 17.7.2

Bumps [dotnet-coverage](https://github.com/microsoft/codecoverage) from 17.3.2 to 17.7.2.
- [Commits](https://github.com/microsoft/codecoverage/commits)

---
updated-dependencies:
- dependency-name: dotnet-coverage
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .config/dotnet-tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 49bc7f3..4705941 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -9,7 +9,7 @@
       ]
     },
     "dotnet-coverage": {
-      "version": "17.3.2",
+      "version": "17.7.2",
       "commands": [
         "dotnet-coverage"
       ]