From 1617f81fa917d7d966778b87342980bdcb670039 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 20 Sep 2023 05:36:00 +0000 Subject: [PATCH] Bump 3rd_party/marian-dev from `780df27` to `11c6ae7` Bumps [3rd_party/marian-dev](https://github.com/browsermt/marian-dev) from `780df27` to `11c6ae7`. - [Commits](https://github.com/browsermt/marian-dev/compare/780df2708e023ce47c0e1e89f2f4a7f3beab5271...11c6ae7c46be21ef96ed10c60f28022fa968939f) --- updated-dependencies: - dependency-name: 3rd_party/marian-dev dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- 3rd_party/marian-dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/3rd_party/marian-dev b/3rd_party/marian-dev index 780df2708..11c6ae7c4 160000 --- a/3rd_party/marian-dev +++ b/3rd_party/marian-dev @@ -1 +1 @@ -Subproject commit 780df2708e023ce47c0e1e89f2f4a7f3beab5271 +Subproject commit 11c6ae7c46be21ef96ed10c60f28022fa968939f