Diff - f9d5cf4bd3b8d132f0a93e312a84454893bfb762^2..f9d5cf4bd3b8d132f0a93e312a84454893bfb762 - third_party/verible - Git at Google

commit: f9d5cf4bd3b8d132f0a93e312a84454893bfb762
[log]
author: Henner Zeller <h.zeller@acm.org>
Thu Sep 17 12:27:02 2026 +0200
committer: GitHub <noreply@github.com>
Thu Sep 17 12:27:02 2026 +0200
tree: 98f980069993e5157f0a2e86421d43787760633d
parent: 9e42238593d57f89393458de7533288733b3a92d [diff]
parent: 81c83d859e2dc41ff22ec66722c66928133610c6 [diff]

Merge pull request #2609 from hzeller/feature-20260917-build-clean

Only depend on necessary dependencies.