From 5a673a5983a9a74c20c23d43dda3beefda9134d1 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 00:39:31 +0000 Subject: [PATCH] Bump Terminal.Gui from 1.13.1 to 1.13.4 Bumps [Terminal.Gui](https://github.com/gui-cs/Terminal.Gui) from 1.13.1 to 1.13.4. - [Release notes](https://github.com/gui-cs/Terminal.Gui/releases) - [Commits](https://github.com/gui-cs/Terminal.Gui/compare/v1.13.1...v1.13.4) --- 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 c04b9842d4..f8d425d0bf 100644 --- a/Tools/rdmp/rdmp.csproj +++ b/Tools/rdmp/rdmp.csproj @@ -43,7 +43,7 @@ all runtime; build; native; contentfiles; analyzers - +