tree ad5728cb81790434776bf0370df23ad08b037a8e
parent 39ef7f5c3cf4e011303dd1a4562770a7dacafe0b
author Michael Schaffner <msf@opentitan.org> 1594672534 -0700
committer Michael Schaffner <msf@google.com> 1594839378 -0700

[verible] Update verible version

Signed-off-by: Michael Schaffner <msf@opentitan.org>