Merge pull request #214312 from hzeller/20230202-update-verible
verible: 0.0-2472-ga80124e1 -> 0.0.2821
authored by Weijia Wang and committed by GitHub 3 years ago 1201dd5a 583cc824