From 2b7f38b26772fb3edfe609c0760d3188425d38db Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 21 Nov 2024 16:24:28 +0000 Subject: [PATCH] Bump extern/ersem from `a2429e2` to `8510fbf` (#14) Bumps [extern/ersem](https://github.com/pmlmodelling/ersem) from `a2429e2` to `8510fbf`. - [Release notes](https://github.com/pmlmodelling/ersem/releases) - [Commits](https://github.com/pmlmodelling/ersem/compare/a2429e2dc2ff278152f4251621245ca04494d0d7...8510fbf80a4ef8b1f9f827e156531e9e0ce6315b) --- updated-dependencies: - dependency-name: extern/ersem dependency-type: direct:production ... Signed-off-by: dependabot[bot] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- extern/ersem | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extern/ersem b/extern/ersem index a2429e2d..8510fbf8 160000 --- a/extern/ersem +++ b/extern/ersem @@ -1 +1 @@ -Subproject commit a2429e2dc2ff278152f4251621245ca04494d0d7 +Subproject commit 8510fbf80a4ef8b1f9f827e156531e9e0ce6315b