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