Diff - 873f559f2d0adeb18d053349507e74d6fb45d42d^2..873f559f2d0adeb18d053349507e74d6fb45d42d - third_party/verible - Git at Google

commit: 873f559f2d0adeb18d053349507e74d6fb45d42d
[log]
author: Henner Zeller <h.zeller@acm.org>
Sat Aug 08 10:06:46 2026 +0200
committer: GitHub <noreply@github.com>
Sat Aug 08 10:06:46 2026 +0200
tree: 9a3e0cc1abf58cd358429b6ac0f4776b11467b83
parent: 93141f42b03e0e934fdb90e46fc6f1ed9a8c86ea [diff]
parent: 7d4fc7198a05cc1367cde3b86ea93cc550d0db14 [diff]

Merge pull request #2566 from hzeller/feature-20260808-shellnix

shell.nix: make it easier to choose bazel version.