Diff - 7fdc2876469c63fc46ed7303ca1dc2fb295dbe1b^2..7fdc2876469c63fc46ed7303ca1dc2fb295dbe1b - third_party/verible - Git at Google

commit: 7fdc2876469c63fc46ed7303ca1dc2fb295dbe1b
[log] [tgz]
author: Henner Zeller <h.zeller@acm.org>
Wed Dec 20 07:16:15 2023 -0800
committer: GitHub <noreply@github.com>
Wed Dec 20 07:16:15 2023 -0800
tree: 33b921e021cc5e20c82b6cc9c632e7ec2e4f5980
parent: 5d5835e11dbe9cdca1d6e81bfa8621c92a4a9452 [diff]
parent: 9af3308731e808a0a172caa701729da818f14b79 [diff]

Merge pull request #2059 from hzeller/20231220-pack-up-static

Actually pack up static results for release.