Diff - 7807ee1a10e2280d31c18c368e766dcf8676b5fe^2..7807ee1a10e2280d31c18c368e766dcf8676b5fe - third_party/verible - Git at Google

commit: 7807ee1a10e2280d31c18c368e766dcf8676b5fe
[log]
author: Henner Zeller <h.zeller@acm.org>
Sun Aug 09 21:18:50 2026 +0200
committer: GitHub <noreply@github.com>
Sun Aug 09 21:18:50 2026 +0200
tree: 9440ee4bece8b97bd6a06e36e9d9ee3b8beb1ce9
parent: 873f559f2d0adeb18d053349507e74d6fb45d42d [diff]
parent: f46b8cbb01e1c9b27349ec09d8ee99cbd2299d08 [diff]

Merge pull request #2567 from antmicro/remove-unused-tagged-opt

Remove unused TK_tagged_opt production