From 0973061b9ac54dd78d758c4ad400c3cacc30b8a9 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 17 Jul 2021 21:05:53 +0000 Subject: [PATCH] build(deps): bump third_party/yosys from `5429495` to `101d72c` Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `5429495` to `101d72c`. - [Release notes](https://github.com/YosysHQ/yosys/releases) - [Commits](https://github.com/YosysHQ/yosys/compare/54294957ed15d954c69c2722028209077cf91cfe...101d72ccb35715908ea6814f3c6b177789a79ccf) --- updated-dependencies: - dependency-name: third_party/yosys dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- third_party/yosys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/yosys b/third_party/yosys index 54294957e..101d72ccb 160000 --- a/third_party/yosys +++ b/third_party/yosys @@ -1 +1 @@ -Subproject commit 54294957ed15d954c69c2722028209077cf91cfe +Subproject commit 101d72ccb35715908ea6814f3c6b177789a79ccf