Diff - 6e3a26f0c13c3d091a5cb7417d38f46a7e2bd930^2..6e3a26f0c13c3d091a5cb7417d38f46a7e2bd930 - third_party/verible - Git at Google

commit: 6e3a26f0c13c3d091a5cb7417d38f46a7e2bd930
[log]
author: Henner Zeller <h.zeller@acm.org>
Mon Jan 09 12:50:25 2023 -0800
committer: GitHub <noreply@github.com>
Mon Jan 09 12:50:25 2023 -0800
tree: fbec522f247ac575139a29ea9611e8ec87945c6d
parent: a3feb9b5e31b2a454af8200fd5c1dbd36a141ec8 [diff]
parent: 917223b0ca333958df6a4518fa082239bbe7aa64 [diff]

Merge pull request #1584 from hzeller/20230106-update-platforms-dependency

Update platforms dependency.