From 20a219d4da681af4423e556b430fc04b2a7476f0 Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Sat, 23 May 2020 05:13:52 +0000 Subject: [PATCH] Bump third_party/yosys from `07eecff` to `721040d` Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `07eecff` to `721040d`. - [Release notes](https://github.com/YosysHQ/yosys/releases) - [Commits](https://github.com/YosysHQ/yosys/compare/07eecff9cca555086667666c4dbdb4c6a7133c67...721040df76c7095463ebf4f708f94bb236333f61) Signed-off-by: dependabot-preview[bot] --- third_party/yosys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/yosys b/third_party/yosys index 07eecff9..721040df 160000 --- a/third_party/yosys +++ b/third_party/yosys @@ -1 +1 @@ -Subproject commit 07eecff9cca555086667666c4dbdb4c6a7133c67 +Subproject commit 721040df76c7095463ebf4f708f94bb236333f61