From 70216a0f57062e053daa09a62b7145732711acec Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Aug 2026 02:04:42 +0000 Subject: [PATCH] Bump extern/ersem from `1bd8c88` to `5179273` Bumps [extern/ersem](https://github.com/pmlmodelling/ersem) from `1bd8c88` to `5179273`. - [Release notes](https://github.com/pmlmodelling/ersem/releases) - [Commits](https://github.com/pmlmodelling/ersem/compare/1bd8c88328739d4b4c3e2f36e536f46ebabf4853...517927399fec5333c130505d76aaceed7ffd5537) --- updated-dependencies: - dependency-name: extern/ersem dependency-version: 517927399fec5333c130505d76aaceed7ffd5537 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- extern/ersem | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extern/ersem b/extern/ersem index 1bd8c883..51792739 160000 --- a/extern/ersem +++ b/extern/ersem @@ -1 +1 @@ -Subproject commit 1bd8c88328739d4b4c3e2f36e536f46ebabf4853 +Subproject commit 517927399fec5333c130505d76aaceed7ffd5537