Skip to content

Commit

Permalink
Merge pull request #1620 from ucb-bar/marshal-rng-init-bump
Browse files Browse the repository at this point in the history
Bump FireMarshal for linux rng init fix
  • Loading branch information
jerryz123 authored Oct 11, 2023
2 parents d9cec6a + 26d4e45 commit 73efea0
Showing 1 changed file with 1 addition and 1 deletion.

0 comments on commit 73efea0

Please sign in to comment.