From 9ae0effa58c75865575773fd5bed667f1d41a461 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 5 Aug 2022 00:02:50 +0000 Subject: [PATCH] Bump Terminal.Gui from 1.7.1 to 1.7.2 Bumps [Terminal.Gui](https://github.com/gui-cs/Terminal.Gui) from 1.7.1 to 1.7.2. - [Release notes](https://github.com/gui-cs/Terminal.Gui/releases) - [Commits](https://github.com/gui-cs/Terminal.Gui/compare/v1.7.1...v1.7.2) --- updated-dependencies: - dependency-name: Terminal.Gui dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- Tools/rdmp/rdmp.csproj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/rdmp/rdmp.csproj b/Tools/rdmp/rdmp.csproj index 3fbc3d1862..cd489b5b45 100644 --- a/Tools/rdmp/rdmp.csproj +++ b/Tools/rdmp/rdmp.csproj @@ -41,7 +41,7 @@ all runtime; build; native; contentfiles; analyzers - +