build(deps): bump third_party/yosys from `5fb3c0b` to `72f77dd` (#2411)

Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `5fb3c0b` to `72f77dd`.
- [Release notes](https://github.com/YosysHQ/yosys/releases)
- [Commits](5fb3c0b1d9...72f77dd97b)

---
updated-dependencies:
- dependency-name: third_party/yosys
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot] 2024-08-24 17:43:54 +00:00 committed by GitHub
parent d5f44b7158
commit 5649423a51
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

2
third_party/yosys vendored

@ -1 +1 @@
Subproject commit 5fb3c0b1d982eebc3b996c4fa4e42ed98030440d
Subproject commit 72f77dd97bad06935aa2d347ae5250c0d92c7d44