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

commit: c2626b84f5d66994200b71d7ed2392d9bde7dfed
[log]
author: Henner Zeller <h.zeller@acm.org>
Thu Nov 17 11:56:01 2022 -0800
committer: GitHub <noreply@github.com>
Thu Nov 17 11:56:01 2022 -0800
tree: 01b79de71fe3d929e810a9eb55c02fbd318a6114
parent: 36a674c11b0c366a2d311299341830619d79254e [diff]
parent: 6ac4f0ec238e10784376f65c2ec0193b9757ee05 [diff]

Merge pull request #1536 from hzeller/20221117-allow-custom-sequence

Preserve the sequence of commands provided by the user.