Skip to content

Commit

Permalink
Merge pull request #890 from AMS21/dependabot/submodules/external/Phi…
Browse files Browse the repository at this point in the history
…-78adfde

Bump external/Phi from `17ddede` to `78adfde`
  • Loading branch information
AMS21 authored Sep 30, 2024
2 parents a04a17c + 9b1e5da commit a1b8086
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion external/Phi

0 comments on commit a1b8086

Please sign in to comment.