Skip to content

Commit

Permalink
Merge pull request #1905 from ucb-bar/bump-stuff
Browse files Browse the repository at this point in the history
Bump FireMarshal + PK (Pk bumped to fix toolchain bump issues w/ linux)
  • Loading branch information
abejgonzalez authored Jun 20, 2024
2 parents 8fcd98d + 069fc93 commit 7e4db44
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.

0 comments on commit 7e4db44

Please sign in to comment.