Merge pull request #1304 from ucb-bar/spike-bump

Bump spike to latest
This commit is contained in:
Jerry Zhao
2023-01-06 13:07:53 -08:00
committed by GitHub
2 changed files with 2 additions and 2 deletions